EuDML | Browse

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Subjects
03-XX Mathematical logic and foundations
03Bxx General logic

Items

All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Page 1

Displaying 1 – 7 of 7

Karp-Miller trees for a branching extension of VASS.

Verma, Kumar Neeraj, Goubault-Larrecq, Jean (2005)

Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]

Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen.

Martin Wirsing (1978)

Archiv für mathematische Logik und Grundlagenforschung

Kripke models and manivalued logics, II

Fernando Bertolini (1970)

Rendiconti del Seminario Matematico della Università di Padova

Kripke models for intuitionistic theories with decidable atomic formulas.

Marković, Zoran (1984)

Publications de l'Institut Mathématique. Nouvelle Série

Kripke models with relative accessibility and their applications to inferences from incomplete information

Ewa Orłowska (1988)

Banach Center Publications

Kripke-Semantik der derivativen Prädikatelogik.

Horst Luckhardt (1970)

Archiv für mathematische Logik und Grundlagenforschung

Kurzer Weg zur Bestimmung der durch eine Aussageverbindung dargestellten Wahrheitsfunktion.

Hermann Wendelin (1971)

Journal für die reine und angewandte Mathematik

Currently displaying 1 – 7 of 7

Page 1