Jacques Loeckx

Available identifiers

zbMath Open loeckx.jacquesWikidataQ90155279 ScholiaQ90155279MaRDI QIDQ1323327

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4430285	2003-10-20	Paper
Specification of abstract data types	1997-02-23	Paper
OBSCURE, a specification language for abstract data types	1994-05-10	Paper
https://portal.mardi4nfdi.de/entity/Q3995530	1993-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q3971275	1992-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q3814782	1988-01-01	Paper
Algorithmic specifications: a constructive specification method for abstract data types	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3730006	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3735046	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3707396	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3932288	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3048201	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4166188	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4127378	1976-01-01	Paper
Computability and decidability. An introduction for students of computer science	1972-01-01	Paper
The relation between derivations and syntactical structures in phrase- structure grammars	1972-01-01	Paper
The parsing for general phrase-structure grammars	1970-01-01	Paper
An algorithm for the construction of bounded-context parsers	1970-01-01	Paper

Research outcomes over time

This page was built for person: Jacques Loeckx