Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
Open Access
    Datensatz exportieren als...
  • BibTeX
Finite satisfiability for two‐variable, first‐order logic with one transitive relation is decidable
Mathematical logic quarterly, 2018-07, Vol.64 (3), p.218-248
2018
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Handbook of Spatial Logics
1. Aufl., 2007
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
The two-variable fragment with counting and equivalence
Mathematical logic quarterly, 2015-11, Vol.61 (6), p.474-515
2015
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
LOGICS FOR THE RELATIONAL SYLLOGISTIC
The review of symbolic logic, 2009-12, Vol.2 (4), p.647-683
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
On the Computational Complexity of the Numerically Definite Syllogistic and Related Logics
The bulletin of symbolic logic, 2008-03, Vol.14 (1), p.1-28
2008
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
THE FLUTED FRAGMENT REVISITED
The Journal of symbolic logic, 2019-09, Vol.84 (3), p.1020-1048
2019
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
The fluted fragment with transitive relations
Annals of pure and applied logic, 2022-01, Vol.173 (1), p.103042, Article 103042
2022
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Data-complexity of the two-variable fragment with counting quantifiers
Information and computation, 2009-08, Vol.207 (8), p.867-888
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Two-Variable First-Order Logic with Equivalence Closure
SIAM journal on computing, 2014-01, Vol.43 (3), p.1012-1063
2014
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Modal Logics of Space
Handbook of Spatial Logics, 2007
2007
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
First-Order Mereotopology
Handbook of Spatial Logics, 2007
2007
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Mathematical Morphology
Handbook of Spatial Logics, 2007
2007
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Topology and Epistemic Logic
Handbook of Spatial Logics, 2007
2007
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Logic of Space-Time and Relativity Theory
Handbook of Spatial Logics, 2007
2007
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Locales and Toposes as Spaces
Handbook of Spatial Logics, 2007
2007
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Axioms, Algebras and Topology
Handbook of Spatial Logics, 2007
2007
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Logical Theories for Fragments of Elementary Geometry
Handbook of Spatial Logics, 2007
2007
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Dynamic Topological Logic
Handbook of Spatial Logics, 2007
2007
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Discrete Spatial Models
Handbook of Spatial Logics, 2007
2007
Volltextzugriff (PDF)
1 – 19 von 19
Suche als RSS-Feed
Aktive Filter
ThemaPhysical Sciences
Suchergebnisse filtern
Filter anzeigen