Journal of Algorithms - Volume 62

Strategies and simulations in a semantic framework

Fulltext Access 22 Pages 2007

Clausal resolution for normal modal logics

Fulltext Access 18 Pages 2007

A normal form which preserves tautologies and contradictions in a class of fuzzy logics

Fulltext Access 13 Pages 2007

Regular expression transformations to extend regular languages (with application to a Datalog XML schema validator)

Fulltext Access 20 Pages 2007