Old Web
English
Sign In
Acemap
>
Paper
>
Tree Automata with Equality Constraints Modulo Equational Theories
Tree Automata with Equality Constraints Modulo Equational Theories
2006
Florent Jacquemard
Michaël Rusinowitch
Laurent Vigneron
Keywords:
Automated theorem proving
Software verification
Automaton
Modulo
Discrete mathematics
Computer science
Correction
Cite
Save
Machine Reading By IdeaReader
31
References
0
Citations
NaN
KQI
[]