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="Mano, Ken"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Theorem-proving anonymity of infinite-state systems
Yoshinobu Kawabe
,
Ken Mano
,
Hideki Sakurada
,
Yasuyuki Tsukada
Information Processing Letters
101
(1), 2007, pp. 46-51
Unique normal form property of compatible term rewriting systems: A new proof of Chew's theorem
Ken Mano
,
Mizuhito Ogawa
Theoretical Computer Science
258
(1-2), 2001, pp. 169-208