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.
J. Logic Lang. Inf.
J. Log. Program.
New Gener. Comput.
Parallel Processing Letters
STTT
Stud. Log.
TECS
Theor. Comput. Sci.
TOPLAS
(Not Categorized)
	ACM Transactions on Programming Languages and Systems 0164-0925	2009	Lee, Chin Soon		Ranking functions for size-change termination In: ACM Transactions on Programming Languages and Systems [31], 10:1-10:42
	Discrete Applied Mathematics 0166-218X	2007	Sofronie-Stokkermans, Viorica		Automated theorem proving by resolution in non-classic logics In: Discrete Applied Mathematics [?], ?
	ACM Transactions on Computational Logic -	2007	Sofronie-Stokkermans, Viorica		On unification for bounded distributive lattices In: ACM Transactions on Computational Logic [8], ?
	International Journal on Artificial Intelligence Tools 0218-2130	2006	Baumgartner, Peter Fuchs, Alexander Tinelli, Cesare		Implementing the Model Evolution Calculus In: International Journal on Artificial Intelligence Tools [15], 21-52
	Digital Evidence Journal 1750-7200	2006	Freiheit, Jörn Luuk, Marc Münch, Susanne Sijanski, Grozdana Zangl, Fabrice		Lexecute: Visualisation and representation of legal procedures In: Digital Evidence Journal [3], 17-27
	Information and Computation 0890-5401	2006	Ganzinger, Harald Sofronie-Stokkermans, Viorica Waldmann, Uwe		Modular Proof Systems for Partial Functions with Evans Equality In: Information and Computation [204], 1453-1492
	Artificial Intelligence -	2006	Hoffmann, Jörg Brafman, Ronen I.		Conformant planning via heuristic forward search: A new approach In: Artificial Intelligence [170], 507-541
	ACM Transactions on Computational Logic -	2006	Ratschan, Stefan		Efficient Solving of Quantified Inequality Constraints over the Real Numbers In: ACM Transactions on Computational Logic [7], 723-748
	KI - Künstliche Intelligenz 0933-1875	2005	Baumgartner, Peter Furbach, Ulrich Yahya, Adnan		Automated Reasoning, Knowledge Representation and Management In: KI - Künstliche Intelligenz [1], 5-11

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