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
[2]
Hilfe
Suche: Author="Mart{\'{i}}-Oliet, Narciso"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Equational abstractions
José Meseguer
,
Miguel Palomino
,
Narciso Martí-Oliet
Theoretical Computer Science
403
(2-3), 2008, pp. 239-264
Strategies and simulations in a semantic framework
Narciso Martí-Oliet
,
Miguel Palomino
,
Alberto Verdejo
J. Algorithms: Cognition, Informatics and Logic
62
(3-4), 2007, pp. 95-116
A Maude specification of an object-oriented model for telecommunication networks
Isabel Pita
,
Narciso Martí-Oliet
Theoretical Computer Science
285
(2), 2002, pp. 407-439
From Petri nets to linear logic through categories: A survey
Narciso Martí-Oliet
,
José Meseguer
International Journal of Foundations of Computer Science
2
(4), 1991, pp. 297-399