Matches in SemOpenAlex for { <https://semopenalex.org/work/W2024871444> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2024871444 endingPage "204" @default.
- W2024871444 startingPage "175" @default.
- W2024871444 abstract "Problems related to the complexity and to the decidability of several languages weaker than Prolog are studied in this paper. In particular, monadic logic programs, that is, programs containing only monadic functions and monadic predicates, are considered in detail. The functional complexity of a monadic logic program is the language of all words ƒ 1 … ƒ k such that the literal p(ƒ 1 (…(ƒ k (a))…)) is a logical consequence of the program. The relationship between several subclasses of monadic programs, their functional complexities and the corresponding automata is studied. It is proved that the class of monadic programs corresponds exactly to the class of regular languages. As a consequence, the “SUCCESS” problem is decidable for that class. It is also proved that the success set of a specific subclass of monadic programs (“simple” programs) corresponds exactly to regular languages with star-height not exceeding 1." @default.
- W2024871444 created "2016-06-24" @default.
- W2024871444 creator A5035830862 @default.
- W2024871444 date "1997-04-01" @default.
- W2024871444 modified "2023-10-18" @default.
- W2024871444 title "Monadic logic programs and functional complexity" @default.
- W2024871444 cites W1518794938 @default.
- W2024871444 cites W1978995933 @default.
- W2024871444 cites W1984820433 @default.
- W2024871444 cites W1985127693 @default.
- W2024871444 cites W2002089154 @default.
- W2024871444 cites W2071713296 @default.
- W2024871444 cites W2072088733 @default.
- W2024871444 cites W2151259840 @default.
- W2024871444 cites W421997344 @default.
- W2024871444 cites W633732788 @default.
- W2024871444 cites W1977421580 @default.
- W2024871444 doi "https://doi.org/10.1016/s0304-3975(96)00093-x" @default.
- W2024871444 hasPublicationYear "1997" @default.
- W2024871444 type Work @default.
- W2024871444 sameAs 2024871444 @default.
- W2024871444 citedByCount "3" @default.
- W2024871444 countsByYear W20248714442014 @default.
- W2024871444 crossrefType "journal-article" @default.
- W2024871444 hasAuthorship W2024871444A5035830862 @default.
- W2024871444 hasConcept C102993220 @default.
- W2024871444 hasConcept C112505250 @default.
- W2024871444 hasConcept C118615104 @default.
- W2024871444 hasConcept C124656256 @default.
- W2024871444 hasConcept C153269930 @default.
- W2024871444 hasConcept C154945302 @default.
- W2024871444 hasConcept C169896238 @default.
- W2024871444 hasConcept C199360897 @default.
- W2024871444 hasConcept C2777212361 @default.
- W2024871444 hasConcept C2780882242 @default.
- W2024871444 hasConcept C30014739 @default.
- W2024871444 hasConcept C33923547 @default.
- W2024871444 hasConcept C41008148 @default.
- W2024871444 hasConcept C80444323 @default.
- W2024871444 hasConcept C81721847 @default.
- W2024871444 hasConceptScore W2024871444C102993220 @default.
- W2024871444 hasConceptScore W2024871444C112505250 @default.
- W2024871444 hasConceptScore W2024871444C118615104 @default.
- W2024871444 hasConceptScore W2024871444C124656256 @default.
- W2024871444 hasConceptScore W2024871444C153269930 @default.
- W2024871444 hasConceptScore W2024871444C154945302 @default.
- W2024871444 hasConceptScore W2024871444C169896238 @default.
- W2024871444 hasConceptScore W2024871444C199360897 @default.
- W2024871444 hasConceptScore W2024871444C2777212361 @default.
- W2024871444 hasConceptScore W2024871444C2780882242 @default.
- W2024871444 hasConceptScore W2024871444C30014739 @default.
- W2024871444 hasConceptScore W2024871444C33923547 @default.
- W2024871444 hasConceptScore W2024871444C41008148 @default.
- W2024871444 hasConceptScore W2024871444C80444323 @default.
- W2024871444 hasConceptScore W2024871444C81721847 @default.
- W2024871444 hasIssue "1-2" @default.
- W2024871444 hasLocation W20248714441 @default.
- W2024871444 hasOpenAccess W2024871444 @default.
- W2024871444 hasPrimaryLocation W20248714441 @default.
- W2024871444 hasRelatedWork W1587779614 @default.
- W2024871444 hasRelatedWork W1920373980 @default.
- W2024871444 hasRelatedWork W2024871444 @default.
- W2024871444 hasRelatedWork W2088007073 @default.
- W2024871444 hasRelatedWork W2155792235 @default.
- W2024871444 hasRelatedWork W218528102 @default.
- W2024871444 hasRelatedWork W2247050992 @default.
- W2024871444 hasRelatedWork W2989024668 @default.
- W2024871444 hasRelatedWork W2473250120 @default.
- W2024871444 hasRelatedWork W2562524242 @default.
- W2024871444 hasVolume "176" @default.
- W2024871444 isParatext "false" @default.
- W2024871444 isRetracted "false" @default.
- W2024871444 magId "2024871444" @default.
- W2024871444 workType "article" @default.