MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 1. by Names of First Author,Editor

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
#YearTitleType
1
Show details for JacobsJacobs
2
Show details for Jacobs, Sofronie-StokkermansJacobs, Sofronie-Stokkermans
1
Show details for Jacobs, WaldmannJacobs, Waldmann
1
Show details for Jacquemard, Meyer, WeidenbachJacquemard, Meyer, Weidenbach
20
Show details for JaegerJaeger
1
Show details for Jaeger, Mannila, WeydertJaeger, Mannila, Weydert
1
Show details for Jaulin, Ratschan, HardouinJaulin, Ratschan, Hardouin
1
Show details for Jensen, PodelskiJensen, Podelski
1
Show details for Jensen, Podelski (ed.)Jensen, Podelski (ed.)
1
Show details for Johann, Socher-AmbrosiusJohann, Socher-Ambrosius
1
Show details for JungJung
1
Show details for KasperKasper
3
Show details for KazakovKazakov
2
Show details for Kazakov, de NivelleKazakov, de Nivelle
1
Show details for KlotzkiKlotzki
1
Show details for KorovinKorovin
4
Show details for Korovin, VoronkovKorovin, Voronkov
4
Show details for Kraan, Basin, BundyKraan, Basin, Bundy
1
Show details for Krischer, BockmayrKrischer, Bockmayr
14
Hide details for Krishna RaoKrishna Rao
2000Some characteristics of strong innermost normalization
In: Theoretical Computer Science [239], 141-164		Journal Article
2000Some classes of prolog programs inferable from positive data
In: Theoretical Computer Science [241], 211-223		Journal Article
1998Modular Aspects of term graph rewriting
In: Theoretical Computer Science [208], 59-86		Journal Article
1997A framework for incremental learning of logic programs
In: Theoretical Computer Science [185], 191-213		Journal Article
1996A class of Prolog programs inferable from positive data
In: Algorithmic Learning Theory, 272-284		Proceedings Article
1996Completeness results for basic narrowing in non-copying implementations
In: Logic Programming, 393-407		Proceedings Article
1996Learning Prolog programs from examples
In: Knowledge Based Computer Systems, 19-30		Proceedings Article
1996Modularity of termination in term graph rewriting
In: Rewriting Techniques and Applications, 230-244		Proceedings Article
1996Relating confluence, innermost-confluence and outermost-confluence properties of term rewriting systems
In: Acta Informatica [33], 595-606		Journal Article
1996Some characteristics of strong innermost normalization
In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, 406-420		Proceedings Article

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