MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 7. Library - 2. All Years - 8. Journal Short Titles

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
Journal Full Title / ISSNYearAuthor/EditorTitle
Information and Computation
0890-5401		1994Dimopoulos, Yannis
Magirou, Vangelis		A Graph Theoretic Approach to Default Logic
In: Information and Computation [112], 239-256
Show details for Inf. Process. Lett.Inf. Process. Lett.
Show details for J. Autom. ReasoningJ. Autom. Reasoning
Show details for J. Logic Comput.J. Logic Comput.
Hide details for J. Logic Lang. Inf.J. Logic Lang. Inf.
Journal of Logic, Language and Information
0925-8531		1998Basin, David A.
Matthews, Seán
Viganò, Luca		Labelled Modal Logics: quantifiers
In: Journal of Logic, Language and Information [7], 237-263
Show details for J. Log. Program.J. Log. Program.
Show details for New Gener. Comput.New Gener. Comput.
Show details for Parallel Processing LettersParallel Processing Letters
Show details for STTTSTTT
Show details for Stud. Log.Stud. Log.
Show details for TECSTECS
Show details for Theor. Comput. Sci.Theor. Comput. Sci.
Show details for TOPLASTOPLAS
Show details for (Not Categorized)(Not Categorized)

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