Sciweavers

4983 search results - page 9 / 997
» order 2008
Sort
View
ENTCS
2008
105views more  ENTCS 2008»
13 years 8 months ago
Two-Level Hybrid: A System for Reasoning Using Higher-Order Abstract Syntax
Alberto Momigliano, Alan J. Martin, Amy P. Felty
IJFCS
2008
59views more  IJFCS 2008»
13 years 8 months ago
A Survey on Small Fragments of First-Order Logic over Finite Words
Volker Diekert, Paul Gastin, Manfred Kufleitner