Loeckx, Jacques, 1931-....
Loeckx, Jacques
Loeckx, Jacques 1931-2020
Loeckx, Jacques J.C., 1931-
Jacques Loeckx informaticien belge
VIAF ID: 261063442 ( Personal )
Permalink: http://viaf.org/viaf/261063442
Preferred Forms
- 100 0 _ ‡a Jacques Loeckx ‡c informaticien belge
-
-
- 100 1 _ ‡a Loeckx, Jacques
-
-
-
- 100 1 _ ‡a Loeckx, Jacques ‡d 1931-2020
-
- 100 1 _ ‡a Loeckx, Jacques, ‡d 1931-
-
- 100 1 0 ‡a Loeckx, Jacques, ‡d 1931-
-
- 100 1 _ ‡a Loeckx, Jacques, ‡d 1931-....
4xx's: Alternate Name Forms (15)
5xx's: Related Names (3)
- 551 _ _ ‡a Brüssel ‡4 ortg ‡4 https://d-nb.info/standards/elementset/gnd#placeOfBirth
- 551 _ _ ‡a Köln ‡4 orts ‡4 https://d-nb.info/standards/elementset/gnd#placeOfDeath
- 510 2 _ ‡a Universität des Saarlandes ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
Works
Title | Sources |
---|---|
Algorithmentheorie | |
Automata, languages and programming : 2nd colloquium, University of Saarbrücken, July 29-August 2, 1974 | |
Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II | |
A bibliography on formal languages and related topics | |
A calculus for proving properties of while-programs | |
Computability and decidability; an introduction for students of computer science | |
Construction automatique d'analyseurs syntaxiques ascendants déterministes à partir de CF grammaires éventuellement non de contexte borné | |
Enkele theoretische aspecten der programmatuur, 1970. | |
A few comments on a correctness proof of a program for the "McCarthy Airline" reservation system | |
The foundations of program verification | |
Grundlagen der Programmiersprachen. | |
LEX a case study in development and validation of formal specifications | |
Mechanical construction of bounded-context parsers for Chomsky O-type languages | |
A note on the equational calculus for many-sorted algebras with possibly empty carrier sets | |
OBSCURE eine Spezifikations- und Verifikationsumgebung | |
OBSCURE manual Part I: Editing and rapid prototyping | |
specification language of OBSCURE | |
Specification of abstract data types |