FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1988211490> ?p ?o ?g. }

• W1988211490 endingPage "624" @default.
• W1988211490 startingPage "601" @default.
• W1988211490 abstract "The computational complexity of a problem is the amount of resources, such as time or space, required by a machine that solves the problem. The descriptive complexity of problems is the complexity of describing problems in some logical formalism over finite structures. One of the exciting developments in complexity theory is the discovery of a very intimate connection between computational and descriptive complexity. It is this connection between complexity theory and finite-model theory that we term computational model theory. In this overview paper we offer one perspective on computational model theory. Two important observations underly our perspective: (1) while computational devices work on encodings of problems, logic is applied directly to the underlying mathematical structures, and this “mismatch” complicates the relationship between logic and complexity significantly, and (2) first-order logic has severely limited expressive power on finite structures, and one way to increase the limited expressive power of first-order logic is by adding fixpoint constructs. These observations motivated the introduction of two absract formalisms: that of finite-variable infinitary logic and that of relational machines. This paper is the story of how these formalisms are used in computational model theory and their interrelationship." @default.
• W1988211490 created "2016-06-24" @default.
• W1988211490 creator A5000059818 @default.
• W1988211490 date "1998-07-01" @default.
• W1988211490 modified "2023-09-22" @default.
• W1988211490 title "Computational model theory: an overview" @default.
• W1988211490 cites W124960795 @default.
• W1988211490 cites W139975798 @default.
• W1988211490 cites W1495098865 @default.
• W1988211490 cites W1510816031 @default.
• W1988211490 cites W1566775698 @default.
• W1988211490 cites W1580700124 @default.
• W1988211490 cites W1929994216 @default.
• W1988211490 cites W1967986305 @default.
• W1988211490 cites W1969682671 @default.
• W1988211490 cites W1974959615 @default.
• W1988211490 cites W1984280364 @default.
• W1988211490 cites W1984581643 @default.
• W1988211490 cites W1984890936 @default.
• W1988211490 cites W1984930242 @default.
• W1988211490 cites W1985072883 @default.
• W1988211490 cites W1989783863 @default.
• W1988211490 cites W2002089154 @default.
• W1988211490 cites W2003895694 @default.
• W1988211490 cites W2033743662 @default.
• W1988211490 cites W2034198367 @default.
• W1988211490 cites W2037071126 @default.
• W1988211490 cites W2042690606 @default.
• W1988211490 cites W2045890623 @default.
• W1988211490 cites W2059144726 @default.
• W1988211490 cites W2061090477 @default.
• W1988211490 cites W2063406522 @default.
• W1988211490 cites W2069462712 @default.
• W1988211490 cites W2073227282 @default.
• W1988211490 cites W2078625208 @default.
• W1988211490 cites W2082914262 @default.
• W1988211490 cites W2083716186 @default.
• W1988211490 cites W2085536555 @default.
• W1988211490 cites W2085944695 @default.
• W1988211490 cites W2088094394 @default.
• W1988211490 cites W2093463375 @default.
• W1988211490 cites W2104212728 @default.
• W1988211490 cites W2104881994 @default.
• W1988211490 cites W2105775150 @default.
• W1988211490 cites W2117832390 @default.
• W1988211490 cites W2125362004 @default.
• W1988211490 cites W2132541147 @default.
• W1988211490 cites W2165467455 @default.
• W1988211490 cites W2181072414 @default.
• W1988211490 cites W251225716 @default.
• W1988211490 cites W2530006810 @default.
• W1988211490 cites W2799004609 @default.
• W1988211490 cites W2905110430 @default.
• W1988211490 cites W3127113455 @default.
• W1988211490 cites W40029885 @default.
• W1988211490 cites W76753297 @default.
• W1988211490 cites W2127650906 @default.
• W1988211490 doi "https://doi.org/10.1093/jigpal/6.4.601" @default.
• W1988211490 hasPublicationYear "1998" @default.
• W1988211490 type Work @default.
• W1988211490 sameAs 1988211490 @default.
• W1988211490 citedByCount "2" @default.
• W1988211490 crossrefType "journal-article" @default.
• W1988211490 hasAuthorship W1988211490A5000059818 @default.
• W1988211490 hasConcept C102993220 @default.
• W1988211490 hasConcept C108568745 @default.
• W1988211490 hasConcept C11413529 @default.
• W1988211490 hasConcept C118615104 @default.
• W1988211490 hasConcept C121332964 @default.
• W1988211490 hasConcept C12713177 @default.
• W1988211490 hasConcept C127964446 @default.
• W1988211490 hasConcept C133142742 @default.
• W1988211490 hasConcept C142362112 @default.
• W1988211490 hasConcept C144791301 @default.
• W1988211490 hasConcept C153349607 @default.
• W1988211490 hasConcept C154945302 @default.
• W1988211490 hasConcept C161445131 @default.
• W1988211490 hasConcept C169896238 @default.
• W1988211490 hasConcept C171018156 @default.
• W1988211490 hasConcept C179799912 @default.
• W1988211490 hasConcept C19754495 @default.
• W1988211490 hasConcept C23409769 @default.
• W1988211490 hasConcept C2524010 @default.
• W1988211490 hasConcept C33923547 @default.
• W1988211490 hasConcept C41008148 @default.
• W1988211490 hasConcept C47030870 @default.
• W1988211490 hasConcept C558565934 @default.
• W1988211490 hasConcept C62520636 @default.
• W1988211490 hasConcept C66024118 @default.
• W1988211490 hasConcept C73301696 @default.
• W1988211490 hasConcept C80444323 @default.
• W1988211490 hasConcept C84114770 @default.
• W1988211490 hasConceptScore W1988211490C102993220 @default.
• W1988211490 hasConceptScore W1988211490C108568745 @default.
• W1988211490 hasConceptScore W1988211490C11413529 @default.
• W1988211490 hasConceptScore W1988211490C118615104 @default.
• W1988211490 hasConceptScore W1988211490C121332964 @default.
• W1988211490 hasConceptScore W1988211490C12713177 @default.

• next