MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 3. by Names Including [Non Members]

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 Schäf [-]Schäf [-]
1
Show details for Schlobach [-]Schlobach [-]
6
Show details for Schmidt [-]Schmidt [-]
1
Show details for Schmidt [Böttner, Thümmel]Schmidt [Böttner, Thümmel]
1
Show details for Schmidt [Kracht, de Rijke, Wansing, Zakharyaschev]Schmidt [Kracht, de Rijke, Wansing, Zakharyaschev]
1
Show details for Schmidt [Nipkow]Schmidt [Nipkow]
1
Show details for Schmidt, Hustadt [Hustadt, Baader]Schmidt, Hustadt [Hustadt, Baader]
1
Show details for Schmidt, Orłowska, Hustadt [Or{Schmidt, Orłowska, Hustadt [Or{
1
Show details for Schmidt, Tishkovsky [Balbiani, Suzuki, Wolter, Zakharyaschev, Schmidt, Tishkovsky]Schmidt, Tishkovsky [Balbiani, Suzuki, Wolter, Zakharyaschev, Schmidt, Tishkovsky]
1
Show details for Schmidt, Tishkovsky [Schmidt, Tishkovsky, Flesca, Greco, Leone, Ianni]Schmidt, Tishkovsky [Schmidt, Tishkovsky, Flesca, Greco, Leone, Ianni]
1
Show details for Schmidt, Tishkovsky [Schmidt, Tishkovsky]Schmidt, Tishkovsky [Schmidt, Tishkovsky]
1
Show details for Schmidt, Tishkovsky [Tishkovsky]Schmidt, Tishkovsky [Tishkovsky]
1
Show details for Schmidt, Tishkovsky, Hustadt [Schmidt, Tishkovsky, Hustadt]Schmidt, Tishkovsky, Hustadt [Schmidt, Tishkovsky, Hustadt]
1
Show details for Schmidt, Tishkovsky, Hustadt [Tishkovsky, Hustadt]Schmidt, Tishkovsky, Hustadt [Tishkovsky, Hustadt]
1
Show details for Schmolzi [-]Schmolzi [-]
1
Show details for She, Ratschan [-]She, Ratschan [-]
1
Show details for She, Xia, Xiao [Xiao, Kovalerchuk]She, Xia, Xiao [Xiao, Kovalerchuk]
1
Show details for Simon, Freiheit, Olbrich [Simon, Olbrich, Nüttgens, Rump, Mendling]Simon, Freiheit, Olbrich [Simon, Olbrich, Nüttgens, Rump, Mendling]
1
Show details for Smaus [-]Smaus [-]
8
Hide details for Socher-Ambrosius [-]Socher-Ambrosius [-]
1994A Refined Version of General E-Unification
In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), 665-677		Proceedings Article
1993Unification in Order-Sorted Logic with Term Declarations
In: Proceedings of the 4th Conference on Logic Programming and Automated Reasoning (LPAR-93), 301-308		Proceedings Article
1992A Goal Oriented Strategy Based on Completion
In: Proc.~3rd Intern.~Conference on Algebraic and Logic Programming, 435-445		Proceedings Article
1992How to Avoid the Derivation of Redundant Clauses in Reasoning Systems
In: Journal of Automated Reasoning [9], 325-336		Journal Article
1991Boolean Algebra Admits no Convergent Term Rewriting System
In: Proceedings of the 4th International Conference on Rewriting Techniques and Applications (RTA-91), 264-274		Proceedings Article
1991On the Church-Rosser Property in Left-Linear SystemsReport
1991On the Relation Between Completion Based and Resolution Based Theorem Proving
In: Journal of Symbolic Computation [11], 129-148		Journal Article
1991Optimizing the Clausal Normal Form Transformation
In: Journal of Automated Reasoning [7], 325-336		Journal Article
14
Show details for Sofronie-Stokkermans [-]Sofronie-Stokkermans [-]
1
Show details for Sofronie-Stokkermans [Autexier, Mantel]Sofronie-Stokkermans [Autexier, Mantel]

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