Jacques Loeckx

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
scientific article; zbMATH DE number 1988958 (Why is no real title available?)2003-10-20Paper
Specification of abstract data types1997-02-23Paper
OBSCURE, a specification language for abstract data types
Acta Informatica
1994-05-10Paper
scientific article; zbMATH DE number 44976 (Why is no real title available?)1993-01-23Paper
scientific article; zbMATH DE number 8786 (Why is no real title available?)1992-06-25Paper
scientific article; zbMATH DE number 4084991 (Why is no real title available?)1988-01-01Paper
Algorithmic specifications: a constructive specification method for abstract data types
ACM Transactions on Programming Languages and Systems
1987-01-01Paper
scientific article; zbMATH DE number 3960980 (Why is no real title available?)1986-01-01Paper
scientific article; zbMATH DE number 3967879 (Why is no real title available?)1986-01-01Paper
scientific article; zbMATH DE number 3936504 (Why is no real title available?)1985-01-01Paper
scientific article; zbMATH DE number 3748406 (Why is no real title available?)1981-01-01Paper
scientific article; zbMATH DE number 3642673 (Why is no real title available?)1979-01-01Paper
scientific article; zbMATH DE number 3599451 (Why is no real title available?)1977-01-01Paper
scientific article; zbMATH DE number 3553747 (Why is no real title available?)1976-01-01Paper
Computability and decidability. An introduction for students of computer science
Lecture Notes in Economics and Mathematical Systems
1972-01-01Paper
The relation between derivations and syntactical structures in phrase- structure grammars
Journal of Computer and System Sciences
1972-01-01Paper
The parsing for general phrase-structure grammars
Information and Control
1970-01-01Paper
An algorithm for the construction of bounded-context parsers
Communications of the ACM
1970-01-01Paper


Research outcomes over time


This page was built for person: Jacques Loeckx