Publications
Server halma.mpi-inf.mpg.de
Publications
Entries sorted by: 8. Last Date/Time - 1. modified
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
 | | | Date/Time | Last Editor | Created By... | Author(s) [non member] | Editor(s) [non member] | Year | Title | ||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 1 |
| | |||||||||||||
| 1 |
|
| | ||||||||||||
| 1 |
|
| | ||||||||||||
| | | | 12:39:55 AM | Uwe Brahm | Uwe Brahm | Brahm, Uwe | | 2013 | Möglichkeiten des Groupware-Einsatzes im Umfeld des Wissenschaftlerarbeitsplatzes am Beispiel des Max-Planck-Instituts für Informatik Universität des Saarlandes | | ||||
| 56 |
| | |||||||||||||
| 56 |
|
| | ||||||||||||
| 6 |
|
| | ||||||||||||
| | | | 09:20:26 AM | Stephanie Müller | Administrators LibraryStaff LocalDomainServers Christine Kiesel | Weydert, Emil | Clarke, M. Kruse, R. Moral, S. | 1993 | Plausible Inference for Default Conditionals In: Symbolic and Quantitative Approaches to Reasoning and Uncertainty: Proceedings of the European Conference ECSQARU '93, 356-363 | | ||||
| 09:15:05 AM | Stephanie Müller | Administrators LibraryStaff LocalDomainServers Christine Kiesel | Plaisted, David A. | Gabbay, Dov M. Hogger, C. Robinson, J. A. Siekmann, J. | 1993 | Equational Reasoning and Term Rewriting Systems In: Handbook of Logic in Artificial Intelligence and Logic Programming, 273-364 | | ||||||||
| | | | 09:08:37 AM | Stephanie Müller | Administrators LibraryStaff LocalDomainServers Christine Kiesel | Nonnengart, Andreas | [Bajcsy, R.] | 1993 | First-Order Modal Logic Theorem Proving and Functional Simulation In: Proc.~13th Intern.~Joint Conference on Artificial Intelligence (IJCAI '93), 80-85 | | ||||
| 09:00:50 AM | Stephanie Müller | Administrators LibraryStaff LocalDomainServers Christine Kiesel | Matthews, Seán Smaill, Alan Basin, David A. | Huet, G. Plotkin, G. | 1993 | Experience with $FS_0$ as a Framework Theory In: Logical Environments, 61-82 | | ||||||||
| | | | 08:57:41 AM | Stephanie Müller | Administrators LibraryStaff LocalDomainServers Christine Kiesel | Jaeger, Manfred | | 1993 | Circumscription: Completeness Reviewed In: Artificial Intelligence [60], 293-301 | | ||||
| 08:50:02 AM | Stephanie Müller | Administrators LibraryStaff LocalDomainServers Christine Kiesel | Hustadt, Ullrich Nonnengart, Andreas | [Rowles, C.] [Liu, H.] [Foo, N.] | 1993 | Modalities in Knowledge Representation In: Proc. of the 6th Australian Joint Conference on Artificial Intelligence (AI '93), 249-254 | | ||||||||
| 11 |
|
| | ||||||||||||
| 03:33:39 PM | Stephanie Müller | Administrators LocalDomainServers Christine Kiesel | Hanus, Michael | 1993 | Towards the Global Optimization of Functional Logic Programs In: Proc.~Workshop on Global Compilation, International Logic Programming Symposium, 83-97 | | |||||||||
| | | | 03:28:18 PM | Stephanie Müller | Administrators LibraryStaff LocalDomainServers Christine Kiesel | Chadha, Ritu Plaisted, David A. | | 1993 | On the mechanical derivation of loop invariants In: Journal of Symbolic Computation [15], 705-744 | | ||||
| 03:24:07 PM | Stephanie Müller | Administrators LibraryStaff LocalDomainServers Christine Kiesel | Bockmayr, Alexander | Karmann, A. Mosler, K. Schader, M. Uebe, G. | 1993 | Embedding OR Techniques in Constraint Logic Programming In: Operations Research '92. 17th Symposium on Operations Research, 252-254 | | ||||||||
| | | | 03:15:07 PM | Stephanie Müller | Administrators LibraryStaff LocalDomainServers Christine Kiesel | Bockmayr, Alexander | | 1993 | Conditional Narrowing Modulo a Set of Equations In: Applicable Algebra in Engineering, Communication and Computing [4], 147-168 | | ||||
| 02:43:22 PM | Stephanie Müller | Administrators LibraryStaff LocalDomainServers Christine Kiesel | Bertling, Hubert Ganzinger, Harald Schäfers, Renate Nieuwenhuis, Robert Orejas, Fernando | Hoffmann, Berthold Krieg-Brückner, Bernd | 1993 | Completion Subsystem In: Program Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System, 460-494 | | ||||||||
| | | | 02:24:32 PM | Stephanie Müller | Administrators LocalDomainServers Christine Kiesel | Schmidt, Renate A. | Brink, C. Schmidt, G. | 1994 | Peirce Algebras and Their Applications in Artificial Intelligence and Computational Linguistics: Abstract In: Relational Methods in Computer Science; Dagstuhl Seminar Report 80 (9403), 21-22 | | ||||
| 09:41:03 AM | Stephanie Müller | Uwe Brahm | Krishna Rao, M. R. K. | [Mosses, Peter] [Nielsen, Mogens] [Schwartzbach, Michael] | 1995 | Semi-completeness of Hierarchical and Super-hierarchical Combinations of Term Rewriting Systems In: Proceedings of the 6th Joint Conference on Theory and Practice of Software Development, 379-393 | | ||||||||
| | | | 09:40:43 AM | Stephanie Müller | Administrators LocalDomainServers Christine Kiesel | Krishna Rao, M. R. K. Shyamasundar, R. K. | Mycroft, Alan | 1995 | Unification-free Execution of Well-moded Prolog Programs In: Proc. of International Static Analysis Symposium, 243-260 | | ||||
| 09:20:51 AM | Stephanie Müller | Administrators LocalDomainServers Christine Kiesel | Basin, David A. [Klarlund, Nils] | 1995 | Hardware Verification using Monadic Second-Order Logic In: Proceedings of the 7th International Conference on Computer-Aided Verification (CAV '95), 31-41 | | |||||||||
| | | | 09:09:58 AM | Stephanie Müller | Administrators LocalDomainServers Christine Kiesel | Anderson, Penny Basin, David A. | | 1995 | Deriving and Applying Logic Program Transformers In: Algorithms, Concurrency and Knowledge (1995 Asian Computing Science Conference), 301-318 | | ||||
| 08:55:04 AM | Stephanie Müller | Administrators LocalDomainServers [AGEditors] | Hopf, Jörn | [Claus, Volker] Hopf, Jörn [Schwefel, Hans-Paul] | 1996 | Optimizing Photo Mask Layout for Grey-tone Lithography | | ||||||||
| 1 |
|
| | ||||||||||||
| 03:19:21 PM | Stephanie Müller | Administrators LocalDomainServers [AGEditors] | Bockmayr, Alexander | [Hanus, Michael] [Lloyd, John W.] [Moreno Navarro, Juan José] | 1996 | Constraints in functional logic programming (Abstract) In: Integration of functional and logic languages, 4 | | ||||||||
| 5 |
|
| | ||||||||||||
| 03:37:37 PM | Stephanie Müller | Administrators LocalDomainServers [AGEditors] | Backes, Werner [Wetzel, Susanne] | Näher, Stefan Wagner, Dorothea | 2001 | Lattice Basis Reduction with Dynamic Approximation In: Proceedings of the 4th Workshop On Algorithm Engineering (WAE-2000), 63-73 | | ||||||||
| | | | 02:47:20 PM | Stephanie Müller | Administrators LocalDomainServers [AGEditors] | Charatonik, Witold | | 2002 | Direktionale Typen in der Logischen Programmierung Universität des Saarlandes | | ||||
Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)