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.
	Information and Computation 0890-5401	1998	Charatonik, Witold		Set Constraints in Some Equational Theories In: Information and Computation [142], 40-75
	Information and Computation 0890-5401	1995	Bachmair, Leo Ganzinger, Harald Lynch, Christopher Snyder, Wayne		Basic Paramodulation In: Information and Computation [121], 172-192
	Information and Computation 0890-5401	1994	Dimopoulos, Yannis Magirou, Vangelis		A Graph Theoretic Approach to Default Logic In: Information and Computation [112], 239-256
Inf. Process. Lett.
J. Autom. Reasoning
J. Logic Comput.
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)