swMATH ID: 18713
Software Authors: Carmosino, Marco; Immerman, Neil; Jordan, Charles
Description: Experimental descriptive complexity. We describe our development and use of DescriptiveEnvironment (DE). This is a program to aid researchers in Finite Model Theory and students of logic to automatically generate examples, counter-examples of conjectures, reductions between problems, and visualizations of structures and queries. DescriptiveEnvironment is available for free use under an ISC license at url{http://www.cs.umass.edu/ immerman/de}. We encourage researchers and students at all levels to experiment with it. Please tell us of your insights, progress, suggestions, or extensions of DE.
Homepage: https://people.cs.umass.edu/~immerman/de/
Related Software:
Cited in: 1 Document

Cited in 0 Serials

Citations by Year