BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Germany
1 × Japan
1 × Portugal
1 × The Netherlands
1 × United Kingdom
3 × USA
Collaborated with:
∅ M.Kaminski A.Podelski T.Tebbi C.Schulte R.Treinen J.Müller F.Baader B.Nebel W.Nutt
Talks about:
program (9) logic (6) constraint (5) concurr (3) tableaux (2) termin (2) hybrid (2) order (2) unif (2) represent (1)

Person: Gert Smolka

DBLP DBLP: Smolka:Gert

Facilitated 1 volumes:

ESOP 2000Ed

Contributed to:

RTA 20132013
IJCAR 20102010
IJCAR 20082008
ESOP 19981998
ILPS 19971997
ICLP 19951995
ILPS 19941994
JICSLP 19921992
CADE 19901990
ALP 19881988
LFP 19841984

Wrote 13 papers:

RTA-2013-SmolkaT #recursion #unification
Unification Modulo Nonnested Recursion Schemes via Anchored Semi-Unification (GS, TT), pp. 271–286.
IJCAR-2010-KaminskiS #hybrid #logic
Terminating Tableaux for Hybrid Logic with Eventualities (MK, GS), pp. 240–254.
IJCAR-2008-KaminskiS #difference #hybrid #logic
Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse (MK, GS), pp. 210–225.
ESOP-1998-Smolka #concurrent #constraints #functional #programming
Concurrent Constraint Programming Based on Functional Programming (GS), pp. 1–11.
ILPS-1997-Smolka #constraints #programming
Constraint Programming in Oz (GS), pp. 37–38.
ICLP-1995-PodelskiS #constraints #logic programming #semantics #source code
Operational Semantics of Constraint Logic Programs with Coroutining (AP, GS), pp. 449–463.
ICLP-1995-PodelskiS95a
Situated Simplification (AP, GS), p. 826.
ICLP-1995-Smolka #concurrent #constraints #named #programming
Oz: Concurrent Constraint Programming for Real (GS), p. 13.
ILPS-1994-SchulteS #concurrent #constraints #encapsulation #higher-order #programming
Encapsulated Search for Higher-order Concurrent Constraint Programming (CS, GS), pp. 505–520.
JICSLP-1992-SmolkaT #logic programming
Records for Logic Programming (GS, RT), pp. 240–254.
CADE-1990-MullerBNNS #concept #reasoning #representation #tutorial
Tutorial on Reasoning and Representation with Concept Languages (JM, FB, BN, WN, GS), p. 681.
ALP-1988-Smolka #logic programming #order
Logic Programming with Polymorphically Order-Sorted Types (GS), pp. 53–70.
LFP-1984-Smolka #data flow #logic programming #source code
Making Control and Data Flow in Logic Programs Explicit (GS), pp. 311–322.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.