Finite Model Reasoning in Expressive Fragments of First-Order Logic release_47pmommxorc7hbjp7y2v3fxiuu

by Lidia Tendera

Published in Electronic Proceedings in Theoretical Computer Science by Open Publishing Association.

2017   Volume 243, p43-57

Archived Content

There are no accessible files associated with this release. You could check other releases for this work for an accessible version.

Not Preserved
Save Paper Now!

Know of a fulltext copy of on the public web? Submit a URL and we will archive it

Type  article-journal
Stage   published
Date   2017-03-06
Language   en ?
Proceedings Metadata
Open Access Publication
In DOAJ
In ISSN ROAD
Not in Keepers Registry
ISSN-L:  2075-2180
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 63cbc898-1948-450a-8e6f-925ee35dd30e
API URL: JSON