English
Beginner
On the Expressive Power of First-Order Logic with Built-In Predicates
Nicole Schweikardt
2002
View book
Discover references
Nicole Schweikardt
Zhouchen Lin;Huan Li;Cong Fang