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 / ISSN	Year	Author/Editor		Title
Acta Inform.
Ann. Math. Artif. Intell.
Ann. Oper. Res.
Appl. Algebra Eng. Commun. Comput.
Artif. Intell.
Form. Asp. Comput.
Fundam. Inform.
Inf. Comput.
Inf. Process. Lett.
J. Autom. Reasoning
J. Logic Comput.
	Journal of Logic and Computation 0955-792X	2000	Bugliesi, Michele Delzanno, Giorgio Liquori, Luigi Martelli, Maurizio		Object Calculi in Linear Logic In: Journal of Logic and Computation [10], 75-104
	Journal of Logic and Computation 0955-792X	1997	Basin, David A. Matthews, Seán Viganò, Luca		Labelled Propositional Modal Logics: Theory and Practice In: Journal of Logic and Computation [7], 685-717
	Journal of Logic and Computation 0955-792X	1997	Ohlbach, Hans Jürgen Schmidt, Renate A.		Functional Translation and Second-Order Frame Properties of Modal Logics In: Journal of Logic and Computation [7], 581-603
	Journal of Logic and Computation 0955-792X	1996	Basin, David A. Matthews, Seán		Adding Metatheoretic facilities to First-order Theories In: Journal of Logic and Computation [6], 835-849
	Journal of Logic and Computation 0955-792X	1994	Bachmair, Leo Ganzinger, Harald		Rewrite-based equational theorem proving with selection and simplification In: Journal of Logic and Computation [4], 217-247
	Journal of Logic and Computation 0955-792X	1991	Ohlbach, Hans Jürgen		Semantics Based Translation Methods for Modal Logics In: Journal of Logic and Computation [1], 691-746
J. Logic Lang. Inf.
J. Log. Program.
New Gener. Comput.
Parallel Processing Letters
STTT
Stud. Log.
TECS
Theor. Comput. Sci.
TOPLAS
(Not Categorized)

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