FRINK Linked Data Fragments server

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

• W89746087 endingPage "371" @default.
• W89746087 startingPage "357" @default.
• W89746087 abstract "We propose a generic method for deciding the language inclusion problem between context-free languages and deterministic contextfree languages. Our method extends a given decision procedure for a subclass to another decision procedure for a more general subclass called a refinement of the former. To decide $mathcal{L}_0 subseteq mathcal{L}_1$ , we take two additional arguments: a language $mathcal{L}_2$ of which $mathcal{L}_1$ is a refinement, and a proof of $mathcal{L}_0 subseteq mathcal{L}_2$ . Our technique then refines the proof of $mathcal{L}_0 subseteq mathcal{L}_2$ to a proof or a refutation of $mathcal{L}_0 subseteq mathcal{L}_1$ . Although the refinement procedure may not terminate in general, we give a sufficient condition for the termination. We employ a type-based approach to formalize the idea, inspired from Kobayashi’s intersection type system for model-checking recursion schemes. To demonstrate the usefulness, we apply this method to obtain simpler proofs of the previous results of Minamide and Tozawa on the inclusion between context-free languages and regular hedge languages, and of Greibach and Friedman on the inclusion between context-free languages and superdeterministic languages." @default.
• W89746087 created "2016-06-24" @default.
• W89746087 creator A5084941435 @default.
• W89746087 creator A5090766554 @default.
• W89746087 date "2012-01-01" @default.
• W89746087 modified "2023-10-11" @default.
• W89746087 title "An Intersection Type System for Deterministic Pushdown Automata" @default.
• W89746087 cites W119710065 @default.
• W89746087 cites W1486486721 @default.
• W89746087 cites W1510874604 @default.
• W89746087 cites W1549097197 @default.
• W89746087 cites W1804522637 @default.
• W89746087 cites W1854521429 @default.
• W89746087 cites W2051146345 @default.
• W89746087 cites W2063307580 @default.
• W89746087 cites W2117121231 @default.
• W89746087 cites W2125766500 @default.
• W89746087 cites W2131886132 @default.
• W89746087 cites W2134918221 @default.
• W89746087 cites W2151033407 @default.
• W89746087 cites W2169417140 @default.
• W89746087 cites W3019389875 @default.
• W89746087 cites W4249452185 @default.
• W89746087 doi "https://doi.org/10.1007/978-3-642-33475-7_25" @default.
• W89746087 hasPublicationYear "2012" @default.
• W89746087 type Work @default.
• W89746087 sameAs 89746087 @default.
• W89746087 citedByCount "4" @default.
• W89746087 countsByYear W897460872016 @default.
• W89746087 countsByYear W897460872017 @default.
• W89746087 countsByYear W897460872018 @default.
• W89746087 countsByYear W897460872021 @default.
• W89746087 crossrefType "book-chapter" @default.
• W89746087 hasAuthorship W89746087A5084941435 @default.
• W89746087 hasAuthorship W89746087A5090766554 @default.
• W89746087 hasBestOaLocation W897460871 @default.
• W89746087 hasConcept C108710211 @default.
• W89746087 hasConcept C112505250 @default.
• W89746087 hasConcept C11413529 @default.
• W89746087 hasConcept C114614502 @default.
• W89746087 hasConcept C118615104 @default.
• W89746087 hasConcept C127413603 @default.
• W89746087 hasConcept C146978453 @default.
• W89746087 hasConcept C151730666 @default.
• W89746087 hasConcept C153269930 @default.
• W89746087 hasConcept C167822520 @default.
• W89746087 hasConcept C168773036 @default.
• W89746087 hasConcept C18903297 @default.
• W89746087 hasConcept C2524010 @default.
• W89746087 hasConcept C2777299769 @default.
• W89746087 hasConcept C2779343474 @default.
• W89746087 hasConcept C33923547 @default.
• W89746087 hasConcept C41008148 @default.
• W89746087 hasConcept C52370388 @default.
• W89746087 hasConcept C64543145 @default.
• W89746087 hasConcept C77944639 @default.
• W89746087 hasConcept C80444323 @default.
• W89746087 hasConcept C86803240 @default.
• W89746087 hasConceptScore W89746087C108710211 @default.
• W89746087 hasConceptScore W89746087C112505250 @default.
• W89746087 hasConceptScore W89746087C11413529 @default.
• W89746087 hasConceptScore W89746087C114614502 @default.
• W89746087 hasConceptScore W89746087C118615104 @default.
• W89746087 hasConceptScore W89746087C127413603 @default.
• W89746087 hasConceptScore W89746087C146978453 @default.
• W89746087 hasConceptScore W89746087C151730666 @default.
• W89746087 hasConceptScore W89746087C153269930 @default.
• W89746087 hasConceptScore W89746087C167822520 @default.
• W89746087 hasConceptScore W89746087C168773036 @default.
• W89746087 hasConceptScore W89746087C18903297 @default.
• W89746087 hasConceptScore W89746087C2524010 @default.
• W89746087 hasConceptScore W89746087C2777299769 @default.
• W89746087 hasConceptScore W89746087C2779343474 @default.
• W89746087 hasConceptScore W89746087C33923547 @default.
• W89746087 hasConceptScore W89746087C41008148 @default.
• W89746087 hasConceptScore W89746087C52370388 @default.
• W89746087 hasConceptScore W89746087C64543145 @default.
• W89746087 hasConceptScore W89746087C77944639 @default.
• W89746087 hasConceptScore W89746087C80444323 @default.
• W89746087 hasConceptScore W89746087C86803240 @default.
• W89746087 hasLocation W897460871 @default.
• W89746087 hasLocation W897460872 @default.
• W89746087 hasLocation W897460873 @default.
• W89746087 hasLocation W897460874 @default.
• W89746087 hasLocation W897460875 @default.
• W89746087 hasOpenAccess W89746087 @default.
• W89746087 hasPrimaryLocation W897460871 @default.
• W89746087 hasRelatedWork W1607529814 @default.
• W89746087 hasRelatedWork W1973678919 @default.
• W89746087 hasRelatedWork W2024395666 @default.
• W89746087 hasRelatedWork W218528102 @default.
• W89746087 hasRelatedWork W2346985033 @default.
• W89746087 hasRelatedWork W2541894000 @default.
• W89746087 hasRelatedWork W2962885229 @default.
• W89746087 hasRelatedWork W3020419254 @default.
• W89746087 hasRelatedWork W3098000419 @default.
• W89746087 hasRelatedWork W601307657 @default.
• W89746087 isParatext "false" @default.

• next