A Structured-Specification Approach to Descriptive Complexity Claudia Elena Chiriţă – Faculty of Mathematics and Computer Science, University of Bucharest, Romania 1. Outline Theorem (Fagin). An isomorphism-closed cl - Chirita - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2016-02-05 15:45:18		A Structured-Specification Approach to Descriptive Complexity Claudia Elena Chiriţă – Faculty of Mathematics and Computer Science, University of Bucharest, Romania 1. Outline Theorem (Fagin). An isomorphism-closed cl Add to Reading List Source URL: womencourage.acm.org Download Document from Source Website File Size: 105,93 KB Share Document on Facebook