FRINK Linked Data Fragments server

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

• W2016206563 abstract "@(x, y) is valid over all tree models. For the restricted case that all variables range over finite domains, the validity problem is decidable, and we present an algorithm for constructing the program whenever it exists. The algorithm is based on a new procedure for checking the emptiness of Rabin automata on infinite trees in time exponential in the number of pairs, but only polynomial in the number of states. This leads to a synthesis algorithm whose complexity is double exponential in the length of the given specification." @default.
• W2016206563 created "2016-06-24" @default.
• W2016206563 creator A5052971521 @default.
• W2016206563 creator A5078214635 @default.
• W2016206563 date "1989-01-01" @default.
• W2016206563 modified "2023-10-16" @default.
• W2016206563 title "On the synthesis of a reactive module" @default.
• W2016206563 cites W1492540572 @default.
• W2016206563 cites W1501731334 @default.
• W2016206563 cites W1546220007 @default.
• W2016206563 cites W1560050980 @default.
• W2016206563 cites W1569068921 @default.
• W2016206563 cites W1755189310 @default.
• W2016206563 cites W17866615 @default.
• W2016206563 cites W1969912861 @default.
• W2016206563 cites W1983682288 @default.
• W2016206563 cites W2003227046 @default.
• W2016206563 cites W2004306067 @default.
• W2016206563 cites W2007981995 @default.
• W2016206563 cites W2012436850 @default.
• W2016206563 cites W2023808162 @default.
• W2016206563 cites W2033071128 @default.
• W2016206563 cites W2040127143 @default.
• W2016206563 cites W2072887965 @default.
• W2016206563 cites W2075664249 @default.
• W2016206563 cites W2099529102 @default.
• W2016206563 cites W2117189826 @default.
• W2016206563 cites W2125267391 @default.
• W2016206563 cites W2130025446 @default.
• W2016206563 cites W2137233516 @default.
• W2016206563 cites W2157319504 @default.
• W2016206563 cites W2162583406 @default.
• W2016206563 cites W2174284707 @default.
• W2016206563 cites W2319440520 @default.
• W2016206563 cites W2535076018 @default.
• W2016206563 cites W2593461000 @default.
• W2016206563 cites W50233445 @default.
• W2016206563 cites W2182424838 @default.
• W2016206563 doi "https://doi.org/10.1145/75277.75293" @default.
• W2016206563 hasPublicationYear "1989" @default.
• W2016206563 type Work @default.
• W2016206563 sameAs 2016206563 @default.
• W2016206563 citedByCount "1191" @default.
• W2016206563 countsByYear W20162065632012 @default.
• W2016206563 countsByYear W20162065632013 @default.
• W2016206563 countsByYear W20162065632014 @default.
• W2016206563 countsByYear W20162065632015 @default.
• W2016206563 countsByYear W20162065632016 @default.
• W2016206563 countsByYear W20162065632017 @default.
• W2016206563 countsByYear W20162065632018 @default.
• W2016206563 countsByYear W20162065632019 @default.
• W2016206563 countsByYear W20162065632020 @default.
• W2016206563 countsByYear W20162065632021 @default.
• W2016206563 countsByYear W20162065632022 @default.
• W2016206563 countsByYear W20162065632023 @default.
• W2016206563 crossrefType "proceedings-article" @default.
• W2016206563 hasAuthorship W2016206563A5052971521 @default.
• W2016206563 hasAuthorship W2016206563A5078214635 @default.
• W2016206563 hasBestOaLocation W20162065631 @default.
• W2016206563 hasConcept C112505250 @default.
• W2016206563 hasConcept C113174947 @default.
• W2016206563 hasConcept C11413529 @default.
• W2016206563 hasConcept C114614502 @default.
• W2016206563 hasConcept C118615104 @default.
• W2016206563 hasConcept C134306372 @default.
• W2016206563 hasConcept C151376022 @default.
• W2016206563 hasConcept C153269930 @default.
• W2016206563 hasConcept C159985019 @default.
• W2016206563 hasConcept C192562407 @default.
• W2016206563 hasConcept C204323151 @default.
• W2016206563 hasConcept C2778583254 @default.
• W2016206563 hasConcept C311688 @default.
• W2016206563 hasConcept C33923547 @default.
• W2016206563 hasConcept C41008148 @default.
• W2016206563 hasConcept C49016629 @default.
• W2016206563 hasConcept C80444323 @default.
• W2016206563 hasConcept C90119067 @default.
• W2016206563 hasConceptScore W2016206563C112505250 @default.
• W2016206563 hasConceptScore W2016206563C113174947 @default.
• W2016206563 hasConceptScore W2016206563C11413529 @default.
• W2016206563 hasConceptScore W2016206563C114614502 @default.
• W2016206563 hasConceptScore W2016206563C118615104 @default.
• W2016206563 hasConceptScore W2016206563C134306372 @default.
• W2016206563 hasConceptScore W2016206563C151376022 @default.
• W2016206563 hasConceptScore W2016206563C153269930 @default.
• W2016206563 hasConceptScore W2016206563C159985019 @default.
• W2016206563 hasConceptScore W2016206563C192562407 @default.
• W2016206563 hasConceptScore W2016206563C204323151 @default.
• W2016206563 hasConceptScore W2016206563C2778583254 @default.
• W2016206563 hasConceptScore W2016206563C311688 @default.
• W2016206563 hasConceptScore W2016206563C33923547 @default.
• W2016206563 hasConceptScore W2016206563C41008148 @default.
• W2016206563 hasConceptScore W2016206563C49016629 @default.
• W2016206563 hasConceptScore W2016206563C80444323 @default.
• W2016206563 hasConceptScore W2016206563C90119067 @default.
• W2016206563 hasLocation W20162065631 @default.
• W2016206563 hasOpenAccess W2016206563 @default.
• W2016206563 hasPrimaryLocation W20162065631 @default.
• W2016206563 hasRelatedWork W1532058475 @default.
• W2016206563 hasRelatedWork W1652311832 @default.

• next