Matches in SemOpenAlex for { <https://semopenalex.org/work/W2966812847> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2966812847 abstract "Descriptive complexity may be useful to design programs in a natural declarative way. This is important for parallel computation models such as cellular automata, because designing parallel programs is considered difficult. Our paper establishes logical characterizations of the three classical complexity classes that model minimal time, called real-time, of one-dimensional cellular automata according to their canonical variants. Our logics are natural restrictions of the existential second-order Horn logic. They correspond to the three ways of deciding a language on a square grid circuit of side n according to the three canonical placements of an input word of length n on the grid. Our key tool is a normalization method that transforms a formula into an equivalent formula that faithfully mimics a grid circuit." @default.
- W2966812847 created "2019-08-13" @default.
- W2966812847 creator A5008969654 @default.
- W2966812847 creator A5037413838 @default.
- W2966812847 date "2019-06-01" @default.
- W2966812847 modified "2023-10-16" @default.
- W2966812847 title "Descriptive complexity for minimal time of cellular automata" @default.
- W2966812847 cites W1489366126 @default.
- W2966812847 cites W1533597122 @default.
- W2966812847 cites W1583572130 @default.
- W2966812847 cites W1982718233 @default.
- W2966812847 cites W1989113687 @default.
- W2966812847 cites W1991002003 @default.
- W2966812847 cites W2007670043 @default.
- W2966812847 cites W2009966268 @default.
- W2966812847 cites W2046935329 @default.
- W2966812847 cites W2060249124 @default.
- W2966812847 cites W2065620770 @default.
- W2966812847 cites W2078011493 @default.
- W2966812847 cites W2105155995 @default.
- W2966812847 cites W2117111784 @default.
- W2966812847 cites W2171280299 @default.
- W2966812847 cites W2296611716 @default.
- W2966812847 cites W2611180533 @default.
- W2966812847 cites W2736860460 @default.
- W2966812847 cites W4229969393 @default.
- W2966812847 cites W4236835455 @default.
- W2966812847 cites W972947786 @default.
- W2966812847 doi "https://doi.org/10.1109/lics.2019.8785666" @default.
- W2966812847 hasPublicationYear "2019" @default.
- W2966812847 type Work @default.
- W2966812847 sameAs 2966812847 @default.
- W2966812847 citedByCount "0" @default.
- W2966812847 crossrefType "proceedings-article" @default.
- W2966812847 hasAuthorship W2966812847A5008969654 @default.
- W2966812847 hasAuthorship W2966812847A5037413838 @default.
- W2966812847 hasBestOaLocation W29668128472 @default.
- W2966812847 hasConcept C112505250 @default.
- W2966812847 hasConcept C11413529 @default.
- W2966812847 hasConcept C136886441 @default.
- W2966812847 hasConcept C144024400 @default.
- W2966812847 hasConcept C187691185 @default.
- W2966812847 hasConcept C19165224 @default.
- W2966812847 hasConcept C2524010 @default.
- W2966812847 hasConcept C33923547 @default.
- W2966812847 hasConcept C35527583 @default.
- W2966812847 hasConcept C41008148 @default.
- W2966812847 hasConcept C45374587 @default.
- W2966812847 hasConcept C80444323 @default.
- W2966812847 hasConceptScore W2966812847C112505250 @default.
- W2966812847 hasConceptScore W2966812847C11413529 @default.
- W2966812847 hasConceptScore W2966812847C136886441 @default.
- W2966812847 hasConceptScore W2966812847C144024400 @default.
- W2966812847 hasConceptScore W2966812847C187691185 @default.
- W2966812847 hasConceptScore W2966812847C19165224 @default.
- W2966812847 hasConceptScore W2966812847C2524010 @default.
- W2966812847 hasConceptScore W2966812847C33923547 @default.
- W2966812847 hasConceptScore W2966812847C35527583 @default.
- W2966812847 hasConceptScore W2966812847C41008148 @default.
- W2966812847 hasConceptScore W2966812847C45374587 @default.
- W2966812847 hasConceptScore W2966812847C80444323 @default.
- W2966812847 hasLocation W29668128471 @default.
- W2966812847 hasLocation W29668128472 @default.
- W2966812847 hasLocation W29668128473 @default.
- W2966812847 hasLocation W29668128474 @default.
- W2966812847 hasLocation W29668128475 @default.
- W2966812847 hasLocation W29668128476 @default.
- W2966812847 hasLocation W29668128477 @default.
- W2966812847 hasLocation W29668128478 @default.
- W2966812847 hasOpenAccess W2966812847 @default.
- W2966812847 hasPrimaryLocation W29668128471 @default.
- W2966812847 hasRelatedWork W1669105318 @default.
- W2966812847 hasRelatedWork W2067777412 @default.
- W2966812847 hasRelatedWork W2113544496 @default.
- W2966812847 hasRelatedWork W2164619678 @default.
- W2966812847 hasRelatedWork W2353714615 @default.
- W2966812847 hasRelatedWork W2359527201 @default.
- W2966812847 hasRelatedWork W2360313292 @default.
- W2966812847 hasRelatedWork W2392155297 @default.
- W2966812847 hasRelatedWork W2953716828 @default.
- W2966812847 hasRelatedWork W3091867061 @default.
- W2966812847 isParatext "false" @default.
- W2966812847 isRetracted "false" @default.
- W2966812847 magId "2966812847" @default.
- W2966812847 workType "article" @default.