×

zbMATH — the first resource for mathematics

Loeckx, Jacques

Compute Distance To:
Author ID: loeckx.jacques Recent zbMATH articles by "Loeckx, Jacques"
Published as: Loeckx, J.; Loeckx, Jacques
External Links: MGP
Documents Indexed: 19 Publications since 1970, including 6 Books
Reviewing Activity: 7 Reviews

Publications by Year

Citations contained in zbMATH Open

12 Publications have been cited 77 times in 72 Documents Cited by Year
The foundations of program verification. In collab. with Ryan D. Stansifer. 2nd ed. ii. Zbl 0625.68017
Loeckx, Jacques; Sieber, Kurt
25
1987
Specification of abstract data types. Zbl 0868.68077
Loeckx, Jacques; Ehrich, Hans-Dieter; Wolf, Markus
23
1996
The parsing for general phrase-structure grammars. Zbl 0207.01601
Loeckx, J.
13
1970
Algorithmic specificatons: A constitutive specification method for abstract data types. Zbl 0631.68020
Loeckx, Jacques
5
1987
The specification language of OBSCURE. Zbl 0663.68024
Lehmann, Thomas; Loeckx, Jacques
2
1988
Implementations of abstract data types and their verification. Zbl 0476.68022
Loeckx, Jacques
2
1981
An algorithm for the construction of bounded-context parsers. Zbl 0194.48303
Loeckx, J.
2
1970
The specification system \(OBSCURE\): A short survey. Zbl 0744.68101
Loeckx, Jacques
1
1990
The algorithmic specification method of abstract data types: an overview. Zbl 0596.68028
Loeckx, Jacques
1
1986
A remark on the equational calculus for many-sorted algebras with possibly empty carrier sets. Zbl 1023.68628
Ehrig, Hartmut; Loeckx, Jacques; Mahr, Bernd
1
1986
The relation between derivations and syntactical structures in phrase- structure grammars. Zbl 0251.68046
Eickel, Jürgen; Loeckx, Jacques
1
1972
Computability and decidability. An introduction for students of computer science. Zbl 0237.68009
Loeckx, J.
1
1972
Specification of abstract data types. Zbl 0868.68077
Loeckx, Jacques; Ehrich, Hans-Dieter; Wolf, Markus
23
1996
The specification system \(OBSCURE\): A short survey. Zbl 0744.68101
Loeckx, Jacques
1
1990
The specification language of OBSCURE. Zbl 0663.68024
Lehmann, Thomas; Loeckx, Jacques
2
1988
The foundations of program verification. In collab. with Ryan D. Stansifer. 2nd ed. ii. Zbl 0625.68017
Loeckx, Jacques; Sieber, Kurt
25
1987
Algorithmic specificatons: A constitutive specification method for abstract data types. Zbl 0631.68020
Loeckx, Jacques
5
1987
The algorithmic specification method of abstract data types: an overview. Zbl 0596.68028
Loeckx, Jacques
1
1986
A remark on the equational calculus for many-sorted algebras with possibly empty carrier sets. Zbl 1023.68628
Ehrig, Hartmut; Loeckx, Jacques; Mahr, Bernd
1
1986
Implementations of abstract data types and their verification. Zbl 0476.68022
Loeckx, Jacques
2
1981
The relation between derivations and syntactical structures in phrase- structure grammars. Zbl 0251.68046
Eickel, Jürgen; Loeckx, Jacques
1
1972
Computability and decidability. An introduction for students of computer science. Zbl 0237.68009
Loeckx, J.
1
1972
The parsing for general phrase-structure grammars. Zbl 0207.01601
Loeckx, J.
13
1970
An algorithm for the construction of bounded-context parsers. Zbl 0194.48303
Loeckx, J.
2
1970
all top 5

Cited by 134 Authors

5 Bidoit, Michel
4 Adámek, Jiří
4 Fokkink, Willem Jan
3 Eklund, Patrik E.
3 Hennicker, Rolf
3 Pang, Jun
2 Berghammer, Rudolf
2 Buntrock, Gerhard
2 Domínguez, César
2 Helgesson, Robert
2 Jebelean, Tudor
2 Kortelainen, Jari
2 Langmaack, Hans
2 Loeckx, Jacques
2 Loryś, Krzysztof
2 Popov, Nikolaj
2 Sousa, Lurdes
2 Zierer, Hans
1 Alter, Ronald
1 Antoniou, Grigoris
1 Astesiano, Egidio
1 Autexier, Serge
1 Avron, Arnon
1 Baeten, Jos C. M.
1 Bernot, Gilles
1 Bortnik, E.
1 Bossut, Francis
1 Bouckaert, M.
1 Brandenburg, Franz-Josef
1 Buchberger, Bruno
1 Cannon, Robert L. jun.
1 Chadha, Ritu
1 Choppy, Christine
1 Compton, Kevin J.
1 Crǎciun, Adrian
1 Dahlhaus, Elias
1 Dosch, Walter
1 Drabent, Włodzimierz
1 Duval, Dominique
1 Ehrich, Hans-Dieter
1 Eickel, Jürgen
1 Elbl, Birgit
1 Ferreira, William
1 Frade, Maria João
1 Franke, Andreas
1 Galán, M. Ángeles
1 Gavilanes-Franco, Antonio
1 Ghassemi, Fatemeh
1 Goerdt, Andreas
1 Goerigk, Wolfgang
1 Groote, Jan Friso
1 Hart, Johnson H.
1 Hart, Johnson Murdoch
1 Hennessy, Matthew C. B.
1 Hofman, Rutger
1 Höhle, Ulrich
1 Hoofman, Raymond
1 Hutter, Dieter
1 Jurdziński, Tomasz
1 Kapur, Deepak
1 Kirchner, Hélène
1 Klaeren, Herbert A.
1 Kohlhase, Michael
1 Kovács, Laura Ildikó
1 Krieg-Brückner, Bernd
1 Kuich, Werner
1 Kurz, Alexander
1 Kutsia, Temur
1 Lambán, Laureano
1 Langenstein, Bruno
1 Leavens, Gary T.
1 Lehmann, Thomas Martin
1 Lucio-Carrasco, Francisca
1 Lung, Chung-Horng
1 Luttik, Bas
1 Madeira, Alexandre
1 Małuszyński, Jan
1 Manca, Vincenzo
1 Misra, Jayadev
1 Möller, Bernhard
1 Mosses, Peter D.
1 Movaghar, Ali
1 Nakagawa, Koji
1 Otto, Friedrich
1 Peleska, Jan
1 Pinto, Jorge Sousa
1 Piroi, Florina
1 Pirotte, Alain
1 Plaisted, David Alan
1 Qi, Zhichang
1 Rajeswaran, Pragash
1 Révész, György E.
1 Robu, Judit
1 Rock, Georg
1 Rooda, Jacobus E.
1 Rosenkranz, Markus
1 Rubio García, Julio Jesús
1 Salibra, Antonino
1 Salwicki, Andrzej
1 Sannella, Donald T.
...and 34 more Authors

Citations by Year