DescriptiveEnvironment

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.

References in zbMATH (referenced in 1 article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Carmosino, Marco; Immerman, Neil; Jordan, Charles: Experimental descriptive complexity (2012)