BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × Germany
Collaborated with:
C.Beierle T.Bollinger J.Dörre C.Rollinger P.H.Schmitt R.Studer
Talks about:
logic (2) sort (2) constraint (1) represent (1) knowledg (1) disjoint (1) abstract (1) program (1) languag (1) specif (1)

Person: Udo Pletat

DBLP DBLP: Pletat:Udo

Contributed to:

KR 19921992
ALP 19881988
CSL 19881988

Wrote 3 papers:

KR-1992-BollingerP #constraints #logic #order
An Order-Sorted Logic with Sort Literals and Disjointness Constraints (TB, UP), pp. 413–424.
ALP-1988-BeierleP #data type #equation #logic programming #specification
Integrating Logic Programming and Equational Specification of Abstract Data Types (CB, UP), pp. 71–82.
CSL-1988-BeierleDPRSS #information management #representation
The Knowledge Representation Language LLILOG (CB, JD, UP, CRR, PHS, RS), pp. 14–51.

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.