Zum Inhalt springen

Jin, Yi [Verfasser:in]

Belief change in reasoning agents : axiomatizations, semantics and computations

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

2007
Klein, Hans-Joachim [Verfasser:in]; Rasch, Jochen [Verfasser:in]

Functional dependencies for object databases : motivation and axiomatization

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Kiel: Inst. für Informatik und Praktische Mathematik, 1997

Erschienen in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9706
Ramanujam, R. [Verfasser:in]

Axiomatization of a partial order based temporal logic

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Kiel: Inst. für Informatik und Praktische Mathematik, 1996

Erschienen in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9605
Thalheim, Bernhard [Verfasser:in]

A complete axiomatization for join dependencies in relations

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dresden: Techn. Univ., 1984

Erschienen in: Technische Universität Dresden: Informationen / 07 ; 1984,8
Grenon, Pierre [Verfasser:in]

BFO in a nutshell : a bi-categorial axiomatization of BFO and comparison with DOLCE

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Leipzig: Ifomis, 2003

Erschienen in: Institut für Formale Ontologie und Medizinische Informationswissenschaft: IFOMIS reports ; 2003,6
Haar, Stefan [Verfasser:in]

Cyclic orders and the axiomatization of causality and concurrency in periodic processes

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin: Professoren des Inst. für Informatik, Humboldt-Univ., 1997

Erschienen in: Informatik-Berichte ; 8600
Corry, Leo [Verfasser:in]

David Hilbert and the axiomatization of physics (1898 - 1918) : from Grundlagen der Geometrie to Grundlagen der Physik

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dordrecht [u.a.]: Kluwer, 2004

Erschienen in: Archimedes ; 10
Bacci, Giorgio [Verfasser:in]; Bacci, Giovanni [Verfasser:in]; G. Larsen, Kim [Verfasser:in]; Mardare, Radu [Verfasser:in] ; Giorgio Bacci and Giovanni Bacci and Kim G. Larsen and Radu Mardare [Mitwirkende:r]

Complete Axiomatization for the Bisimilarity Distance on Markov Chains

Online ansehen
Schließen

Links

... zum Aufsatz via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016
Miner More, Sara [Verfasser:in]; Naumov, Pavel [Verfasser:in]; Sapp, Benjamin [Verfasser:in] ; Sara Miner More and Pavel Naumov and Benjamin Sapp [Mitwirkende:r]

Concurrency Semantics for the Geiger-Paz-Pearl Axioms of Independence

Online ansehen
Schließen

Links

... zum Aufsatz via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011
Balbiani, Philippe [Verfasser:in]; Gao, Han [Verfasser:in]; Gencer, Çiğdem [Verfasser:in]; Olivetti, Nicola [Verfasser:in] ; Philippe Balbiani and Han Gao and Çiğdem Gencer and Nicola Olivetti [Mitwirkende:r]

A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus

Online ansehen
Schließen

Links

... zum Aufsatz via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
Calleja, Pedro [Verfasser:in]; Llerena, Francesc [Verfasser:in]

Proportional Clearing Mechanisms in Financial Systems : An Axiomatic Approach

Online ansehen
Schließen

Zugang

... zum E-Book (frei zugänglich)

... zum E-Book via DOI (frei zugänglich)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

[S.l.]: SSRN, 2023
Calleja, Pedro [Verfasser:in]; Llerena, Francesc [Verfasser:in]

Proportional Clearing Mechanisms in Financial Systems : An Axiomatic Approach

Online ansehen
Schließen

Zugang

... zum E-Book via DOI (frei zugänglich)

... zum E-Book (frei zugänglich)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

[S.l.]: SSRN, [2023]
Mahajne, M. [Verfasser:in]; Volij, Oscar [Verfasser:in]

The individually acceptable choice correspondence

Online ansehen
Schließen

Zugang

... zum E-Book (PDF Dokument ; frei zugänglich)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Beer Sheva, Israel: Monaster Center for Economic Research, Ben-Gurion University of the Negev, [2020]

Erschienen in: Discussion paper ; 2020,15
Gilboa, Itzhak [Verfasser:in]; Postlewaite, Andrew [Verfasser:in]; Samuelson, Larry [Verfasser:in]; Schmeidler, David [Verfasser:in]

What are axiomatizations good for

Online ansehen
Schließen

Zugang

... zum E-Book (Volltext ; PDF Dokument ; frei zugänglich)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Philadelphia, PA: Penn Institute for Economic Research, Department of Economics, University of Pennsylvania, October 22, 2018

Erschienen in: Penn Institute for Economic Research: Working papers ; 2018,026
Guignot, Francois [Verfasser:in] ; Sorbonne Paris Cité [Mitwirkende:r]; Delon, Françoise [Mitwirkende:r]

Théorie des modèles des groupes abéliens valués ; Model theory of Abelian valued groups

Online ansehen
Schließen

Links

... zur Hochschulschrift

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

theses.fr, 2016-11-09
Materzok, Marek [Verfasser:in] ; Marek Materzok [Mitwirkende:r]

Axiomatizing Subtyped Delimited Continuations

Online ansehen
Schließen

Links

... zum Aufsatz via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2013
Cardelli, Luca [Verfasser:in]; Larsen, Kim G. [Verfasser:in]; Mardare, Radu [Verfasser:in] ; Luca Cardelli and Kim G. Larsen and Radu Mardare [Mitwirkende:r]

Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas

Online ansehen
Schließen

Links

... zum Aufsatz via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011
Ishihara, Shinichi [Verfasser:in]; Shino, Junnosuke [Verfasser:in]

An Axiomatic Analysis of Interval Shapley Values

Online ansehen
Schließen

Zugang

... zum E-Book via DOI (frei zugänglich)

... zum E-Book (frei zugänglich)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

[S.l.]: SSRN, 2023
Ishihara, Shinichi [Verfasser:in]; Shino, Junnosuke [Verfasser:in]

An axiomatic analysis of interval shapley values

Online ansehen
Schließen

Zugang

... zum E-Book (PDF Dokument ; frei zugänglich)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Tokyo, Japan: Waseda INstitute of Political EConomy, Waseda University, [2023]

Erschienen in: WINPEC working paper series ; 2022,14
Demange, Gabrielle [Verfasser:in]

On the resolution of cross-liabilities

Online ansehen
Schließen

Zugang

... zum E-Book (frei zugänglich)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Paris: Paris School of Economics, [2021]

Erschienen in: Working paper ; 2021,12

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr