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="Kurihara, Masahito"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A reflective language based on conditional term rewriting
Massanobu Numazawa
,
Masahito Kurihara
,
Azuma Ohuchi
Lecture Notes in Computer Science
1128
, 1996, pp. 65-66
Mudularity in noncopying term rewriting
Masahito Kurihara
,
Azuma Ohuchi
Theoretical Computer Science
152
(1), 1995, pp. 139-169
Modularity of simple termination of term rewriting systems with shared constructors
Masahito Kurihara
,
Azuma Ohuchi
Theoretical Computer Science
103
, 1992, pp. 273-282
Modular term rewriting systems and the termination
Masahito Kurihara
,
Ikuo Kaji
Information Processing Letters
34
, 1990, pp. 1-4