MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 4. with BibTeX cite keys

Login to this database


 

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)


Show entries starting with: 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
YearTitleBibTeX cite key
Show details for EisenbrandEisenbrand
Show details for Eisenbrand, BockmayrEisenbrand, Bockmayr
Show details for Eisenbrand, Rinaldi, VenturaEisenbrand, Rinaldi, Ventura
Show details for Eisenbrand, RoteEisenbrand, Rote
Show details for Eisenbrand, SchulzEisenbrand, Schulz
Show details for Eisinger, Nonnengart, PräckleinEisinger, Nonnengart, Präcklein
Show details for Eisinger, OhlbachEisinger, Ohlbach
Show details for Eisinger, Ohlbach, PräckleinEisinger, Ohlbach, Präcklein
Show details for EngelEngel
Show details for Esparza, PodelskiEsparza, Podelski
Show details for FehrerFehrer
Show details for Fehrer, Hustadt, Jaeger, Nonnengart, Ohlbach, Schmidt, Weidenbach, WeydertFehrer, Hustadt, Jaeger, Nonnengart, Ohlbach, Schmidt, Weidenbach, Weydert
Show details for Fermüller, Leitsch, Hustadt, TammetFermüller, Leitsch, Hustadt, Tammet
Show details for Firozabadhi, van der TorreFirozabadhi, van der Torre
Show details for FischmannFischmann
Show details for Frank, BasinFrank, Basin
Show details for Frank, Basin, BundyFrank, Basin, Bundy
Show details for Freiheit, Luuk, Münch, Sijanski, ZanglFreiheit, Luuk, Münch, Sijanski, Zangl
Show details for Freiheit, Münch, Schöttle, Sijanski, ZanglFreiheit, Münch, Schöttle, Sijanski, Zangl
Show details for Freiheit, ZanglFreiheit, Zangl
Show details for FriedrichFriedrich
Show details for Furbach, Ganzinger, Hasegawa, Kapur (ed.)Furbach, Ganzinger, Hasegawa, Kapur (ed.)
Show details for Gabbay, Kruse, Nonnengart, Ohlbach (ed.)Gabbay, Kruse, Nonnengart, Ohlbach (ed.)
Hide details for Gabbay, OhlbachGabbay, Ohlbach
1992From a Hilbert Calculus to its Model Theoretic Semantics
In: Proc.~4th Annual UK Conference on Logic Programming (APULK '92), 218-252		GabbayOhlbach92b
1992Quantifier Elimination in Second-Order Predicate Logic
In: Principles of Knowledge Representation and Reasoning (KR92),, 425-435
In: South African Computer Journal [7], 425-435		GabbayOhlbach92cKR
1992Quantifier Elimination in Second-Order Predicate Logic
In: South African Computer Journal [7], 35-43		GabbayOhlbach92c
Show details for Gabbay, Ohlbach (ed.)Gabbay, Ohlbach (ed.)
Show details for GaedeGaede
Show details for Gaillourdet, Hillenbrand, Löchner, SpiesGaillourdet, Hillenbrand, Löchner, Spies

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)