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.
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.
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
Hide details for Theor. Comput. Sci.Theor. Comput. Sci.
Theoretical Computer Science
0304-3975		1998Ganzinger, HaraldPreface
In: Theoretical Computer Science [208], 1
Theoretical Computer Science
0304-3975		1998Krishna Rao, M. R. K.Modular Aspects of term graph rewriting
In: Theoretical Computer Science [208], 59-86
Theoretical Computer Science
0304-3975		1998Stuber, JürgenSuperposition theorem proving for abelian groups represented as integer modules
In: Theoretical Computer Science [208], 149-177
Theoretical Computer Science
0304-3975		1995Krishna Rao, M. R. K.Modular Proofs for Completeness of hierarchical term rewriting systems
In: Theoretical Computer Science [151], 487-512
Theoretical Computer Science
0304-3975		1992Waldmann, UweSemantics of Order-Sorted Specifications
In: Theoretical Computer Science [94], 1-35
Theoretical Computer Science
0304-3975		1991Ganzinger, HaraldOrder-Sorted Completion: The Many-Sorted Way
In: Theoretical Computer Science [89], 3-32
Theoretical Computer Science
0304-3975		1991Hanus, MichaelHorn Clause Programs with Polymorphic Types: Semantics and Resolution
In: Theoretical Computer Science [89], 63-106
Show details for TOPLASTOPLAS
Show details for (Not Categorized)(Not Categorized)

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