Toggle navigation
Home
People
Departments
Research
About
Login
Search
Parallel rewriting systems on terms
Conferences
Overview
Research
Identity
Additional Document Info
View All
Overview
authors
Culik, Karel
Maibaum, Thomas
status
published
publication date
1974
has subject area
Artificial Intelligence & Image Processing
(Science Metrix)
published in
Lecture Notes in Computer Science
Journal
Research
keywords
46 Information and Computing Sciences
Identity
Digital Object Identifier (DOI)
10.1007/3-540-06841-4_85
International Standard Book Number (ISBN) 10
3-540-06841-4
International Standard Book Number (ISBN) 13
9783540068419
Additional Document Info
start page
495
end page
510
volume
14 LNCS