Folgen
Gert Smolka
Gert Smolka
Professor of Computer Science, Saarland University, Saarland Informatics Campus
Bestätigte E-Mail-Adresse bei ps.uni-saarland.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Attributive concept descriptions with complements
M Schmidt-Schauß, G Smolka
Artificial intelligence 48 (1), 1-26, 1991
15521991
The Oz programming model
G Smolka
Computer science today, 324-343, 1995
761*1995
Feature-constraint logics for unification grammars
G Smolka
The Journal of Logic Programming 12 (1-2), 51-87, 1992
2711992
A feature logic with subsorts
G Smolka
IBM Deutschland, WT LILOG, 1988
2481988
Order-sorted equational computation
G Smolka, W Nutt, JA Goguen, J Meseguer
Rewriting Techniques, 297-367, 1989
2311989
Records for logic programming
G Smolka, R Treinen
The Journal of Logic Programming 18 (3), 229-258, 1994
1951994
Mobile objects in distributed oz
P Van Roy, S Haridi, P Brand, G Smolka, M Mehl, R Scheidhauer
ACM Transactions on Programming Languages and Systems (TOPLAS) 19 (5), 804-851, 1997
1781997
A feature constraint system for logic programming with entailment
H Aït-Kaci, A Podelski, G Smolka
Theoretical Computer Science 122 (1-2), 263-283, 1994
1771994
Logic programming over polymorphically order-sorted types
G Smolka
Universität Kaiserslautern, 1989
1421989
Definite relations over constraint languages
M Hohfeld, G Smolka
LILOG Report 53, IWBS, IBM Deutschland, Postfach 80 08 80, 7000 Stuttgart 80, 1988
1411988
2 Object-Oriented Concurrent Constraint Programming
M Henz, G Smolka, J Würtz
Principles and Practice of Constraint Programming: The Newport Papers, 29, 1995
1301995
Basic narrowing revisited
W Nutt, P Réty, G Smolka
Journal of Symbolic Computation 7 (3-4), 295-317, 1989
1241989
A concurrent lambda calculus with futures
J Niehren, J Schwinghammer, G Smolka
Theoretical Computer Science 364 (3), 338-356, 2006
1202006
Representation and reasoning with attributive descriptions
B Nebel, G Smolka
Sorts and Types in Artificial Intelligence, 111-139, 1990
1171990
Finite domain constraint programming in Oz
C Schulte, G Smolka, J Wurtz
A tutorial. Technical report, DFKI and Saarland University, 1999
1111999
Inheritance hierarchies: Semantics and unification
G Smolka, H Aït-Kaci
Journal of Symbolic Computation 7 (3-4), 343-370, 1989
1051989
Oz-a programming language for multi-agent systems
M Henz, G Smolka, J Würtz
IJCAI, 404-409, 1993
1031993
Order-sorted unification
J Meseguer, JA Goguen, G Smolka
Journal of Symbolic Computation 8 (4), 383-413, 1989
991989
The definition of kernel Oz
G Smolka
French School on Theoretical Computer Science, 251-292, 1994
911994
Encapsulated search and constraint programming in Oz
C Schulte, G Smolka, J Würtz
International Workshop on Principles and Practice of Constraint Programming …, 1994
841994
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20