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
Show details for Acta Inform.Acta Inform.
Show details for Ann. Math. Artif. Intell.Ann. Math. Artif. Intell.
Show details for Ann. Oper. Res.Ann. Oper. Res.
Show details for Appl. Algebra Eng. Commun. Comput.Appl. Algebra Eng. Commun. Comput.
Show details for Artif. Intell.Artif. Intell.
Show details for Form. Asp. Comput.Form. Asp. Comput.
Show details for Fundam. Inform.Fundam. Inform.
Show details for Inf. Comput.Inf. Comput.
Hide details for Inf. Process. Lett.Inf. Process. Lett.
Information Processing Letters
0020-0190		1998Charatonik, WitoldAn Undecidable Fragment of the Theory of Set Constraints
In: Information Processing Letters [68], 147-151
Information Processing Letters
0020-0190		1998Waldmann, UweExtending reduction orderings to ACU-compatible reduction orderings
In: Information Processing Letters [67], 43-49
Information Processing Letters
0020-0190		1994Basin, David A.A Term Equality Problem Equivalent to Graph Isomorphism
In: Information Processing Letters [51], 61-66
Show details for J. Autom. ReasoningJ. Autom. Reasoning
Show details for J. Logic Comput.J. Logic Comput.
Show details for J. Logic Lang. Inf.J. Logic Lang. Inf.
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)