
Revisions for Monadic second-order logic with cardinality predicates
The revisions let you track differences between multiple versions of a post.
Revision | Operations | |
---|---|---|
2012-05-18 10:42 by dberwanger | current revision | |
2012-05-18 10:42 by dberwanger |