Matches in SemOpenAlex for { <https://semopenalex.org/work/W4299331767> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W4299331767 abstract "Context-free language theory is a well-established area of mathematics, relevant to computer science foundations and technology. This paper presents the preliminary results of an ongoing formalization project using context-free grammars and the Coq proof assistant. The results obtained so far include the representation of context-free grammars, the description of algorithms for some operations on them (union, concatenation and closure) and the proof of related theorems (e.g. the correctness of these algorithms). A brief survey of related works is presented, as well as plans for further development." @default.
- W4299331767 created "2022-10-02" @default.
- W4299331767 creator A5006707385 @default.
- W4299331767 creator A5084128763 @default.
- W4299331767 date "2015-06-10" @default.
- W4299331767 modified "2023-10-14" @default.
- W4299331767 title "Formalization of closure properties for context-free grammars" @default.
- W4299331767 doi "https://doi.org/10.48550/arxiv.1506.03428" @default.
- W4299331767 hasPublicationYear "2015" @default.
- W4299331767 type Work @default.
- W4299331767 citedByCount "0" @default.
- W4299331767 crossrefType "posted-content" @default.
- W4299331767 hasAuthorship W4299331767A5006707385 @default.
- W4299331767 hasAuthorship W4299331767A5084128763 @default.
- W4299331767 hasBestOaLocation W42993317671 @default.
- W4299331767 hasConcept C108710211 @default.
- W4299331767 hasConcept C146834321 @default.
- W4299331767 hasConcept C151730666 @default.
- W4299331767 hasConcept C162324750 @default.
- W4299331767 hasConcept C199360897 @default.
- W4299331767 hasConcept C203265346 @default.
- W4299331767 hasConcept C204321447 @default.
- W4299331767 hasConcept C2524010 @default.
- W4299331767 hasConcept C2779343474 @default.
- W4299331767 hasConcept C33923547 @default.
- W4299331767 hasConcept C34447519 @default.
- W4299331767 hasConcept C41008148 @default.
- W4299331767 hasConcept C53893814 @default.
- W4299331767 hasConcept C55439883 @default.
- W4299331767 hasConcept C67621940 @default.
- W4299331767 hasConcept C86803240 @default.
- W4299331767 hasConcept C87619178 @default.
- W4299331767 hasConcept C94375191 @default.
- W4299331767 hasConcept C97212296 @default.
- W4299331767 hasConceptScore W4299331767C108710211 @default.
- W4299331767 hasConceptScore W4299331767C146834321 @default.
- W4299331767 hasConceptScore W4299331767C151730666 @default.
- W4299331767 hasConceptScore W4299331767C162324750 @default.
- W4299331767 hasConceptScore W4299331767C199360897 @default.
- W4299331767 hasConceptScore W4299331767C203265346 @default.
- W4299331767 hasConceptScore W4299331767C204321447 @default.
- W4299331767 hasConceptScore W4299331767C2524010 @default.
- W4299331767 hasConceptScore W4299331767C2779343474 @default.
- W4299331767 hasConceptScore W4299331767C33923547 @default.
- W4299331767 hasConceptScore W4299331767C34447519 @default.
- W4299331767 hasConceptScore W4299331767C41008148 @default.
- W4299331767 hasConceptScore W4299331767C53893814 @default.
- W4299331767 hasConceptScore W4299331767C55439883 @default.
- W4299331767 hasConceptScore W4299331767C67621940 @default.
- W4299331767 hasConceptScore W4299331767C86803240 @default.
- W4299331767 hasConceptScore W4299331767C87619178 @default.
- W4299331767 hasConceptScore W4299331767C94375191 @default.
- W4299331767 hasConceptScore W4299331767C97212296 @default.
- W4299331767 hasLocation W42993317671 @default.
- W4299331767 hasOpenAccess W4299331767 @default.
- W4299331767 hasPrimaryLocation W42993317671 @default.
- W4299331767 hasRelatedWork W1581084714 @default.
- W4299331767 hasRelatedWork W1601251910 @default.
- W4299331767 hasRelatedWork W1997090502 @default.
- W4299331767 hasRelatedWork W2069718764 @default.
- W4299331767 hasRelatedWork W2099269319 @default.
- W4299331767 hasRelatedWork W2121805852 @default.
- W4299331767 hasRelatedWork W2146707941 @default.
- W4299331767 hasRelatedWork W2261253198 @default.
- W4299331767 hasRelatedWork W2275394579 @default.
- W4299331767 hasRelatedWork W2999976113 @default.
- W4299331767 isParatext "false" @default.
- W4299331767 isRetracted "false" @default.
- W4299331767 workType "article" @default.