THE COMPLEXITY OF MONADIC SECOND-ORDER UNIFICATION

Saved in:
Bibliographic Details
Published in:SIAM journal on computing 2009, Vol.38 (3), p.1113-1140
Main Authors: LEVY, Jordi, SCHMIDT-SCHAUSS, Manfred, VILLARET, Mateu
Format: Article
Language:English
Subjects:
Algorithmics. Computability. Computer arithmetics
Applied sciences
Computer science
control theory
systems
Exact sciences and technology
Miscellaneous
Theoretical computing
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:
ISSN:0097-5397
1095-7111