Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Meseguer, J."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Maude: Specification and programming in rewriting logic
M. Clavel
,
F. Durán
,
S. Eker
,
P. Lincoln
,
N. Martí-Oliet
,
J. Meseguer
,
J.F. Quesada
Theoretical Computer Science
285
(2), 2002, pp. 187-243
Compiling rewriting onto SIMD and MIMD/SIMD machines
P. Lincoln
,
N. Martí-Oliet
,
J. Meseguer
,
L. Ricciulli
Proceedings of the 6th International PARLE Conference. PARLE '94 - Parallel Architectures and Languages Europe (Athens, Greece, July 4-8, 1994)
LNCS 817
, 1994, pp. 37-48
Operational semantics of OBJ-3
C. Kirchner
,
H. Kirchner
,
J. Meseguer
Lecture Notes in Computer Science
317
, 1988, pp. 287-301
On the axiomatization of 'if-then-else'*
I. Guessarian
,
J. Meseguer
SIAM Journal on Computing
16
(2), 1987, April, pp. 332-357
Operational semantics for order-sorted algebra
J.A. Goguen
,
J.-P. Jouannaud
,
J. Meseguer
Lecture Notes in Computer Science
194
, 1985, pp. 221-231
Correctness of recursive parallel nondeterministic flow programs
J.A. Goguen
,
J. Meseguer
Journal of Computer and System Sciences
27
(2), 1983, October, pp. 268-290
Correctness of recursive flow diagram programs
J.A. Goguen
,
J. Meseguer
Lecture Notes in Computer Science
53
, 1977, pp. 580-595