Matches in SemOpenAlex for { <https://semopenalex.org/work/W4285212090> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W4285212090 endingPage "281" @default.
- W4285212090 startingPage "262" @default.
- W4285212090 created "2022-07-14" @default.
- W4285212090 creator A5044438684 @default.
- W4285212090 creator A5087763144 @default.
- W4285212090 date "2022-01-01" @default.
- W4285212090 modified "2023-09-26" @default.
- W4285212090 title "On Transforming Cut- and Quantifier-Free Cyclic Proofs into Rewriting-Induction Proofs" @default.
- W4285212090 cites W1552961498 @default.
- W4285212090 cites W1556837122 @default.
- W4285212090 cites W1563061915 @default.
- W4285212090 cites W1996064523 @default.
- W4285212090 cites W2000387514 @default.
- W4285212090 cites W2086312242 @default.
- W4285212090 cites W2135853107 @default.
- W4285212090 cites W2137628566 @default.
- W4285212090 cites W2141421333 @default.
- W4285212090 cites W2491573813 @default.
- W4285212090 cites W2507158969 @default.
- W4285212090 cites W2543273993 @default.
- W4285212090 cites W2545358040 @default.
- W4285212090 cites W2582367125 @default.
- W4285212090 cites W2788267722 @default.
- W4285212090 cites W2964206513 @default.
- W4285212090 cites W3047317569 @default.
- W4285212090 cites W3088695195 @default.
- W4285212090 cites W4206247075 @default.
- W4285212090 cites W4230919050 @default.
- W4285212090 cites W8727156 @default.
- W4285212090 doi "https://doi.org/10.1007/978-3-030-99461-7_15" @default.
- W4285212090 hasPublicationYear "2022" @default.
- W4285212090 type Work @default.
- W4285212090 citedByCount "0" @default.
- W4285212090 crossrefType "book-chapter" @default.
- W4285212090 hasAuthorship W4285212090A5044438684 @default.
- W4285212090 hasAuthorship W4285212090A5087763144 @default.
- W4285212090 hasConcept C108710211 @default.
- W4285212090 hasConcept C111404639 @default.
- W4285212090 hasConcept C118615104 @default.
- W4285212090 hasConcept C154690210 @default.
- W4285212090 hasConcept C195653647 @default.
- W4285212090 hasConcept C199360897 @default.
- W4285212090 hasConcept C206743973 @default.
- W4285212090 hasConcept C2318724 @default.
- W4285212090 hasConcept C2524010 @default.
- W4285212090 hasConcept C31314021 @default.
- W4285212090 hasConcept C32278780 @default.
- W4285212090 hasConcept C33923547 @default.
- W4285212090 hasConcept C41008148 @default.
- W4285212090 hasConcept C62073222 @default.
- W4285212090 hasConcept C65880906 @default.
- W4285212090 hasConcept C89421646 @default.
- W4285212090 hasConceptScore W4285212090C108710211 @default.
- W4285212090 hasConceptScore W4285212090C111404639 @default.
- W4285212090 hasConceptScore W4285212090C118615104 @default.
- W4285212090 hasConceptScore W4285212090C154690210 @default.
- W4285212090 hasConceptScore W4285212090C195653647 @default.
- W4285212090 hasConceptScore W4285212090C199360897 @default.
- W4285212090 hasConceptScore W4285212090C206743973 @default.
- W4285212090 hasConceptScore W4285212090C2318724 @default.
- W4285212090 hasConceptScore W4285212090C2524010 @default.
- W4285212090 hasConceptScore W4285212090C31314021 @default.
- W4285212090 hasConceptScore W4285212090C32278780 @default.
- W4285212090 hasConceptScore W4285212090C33923547 @default.
- W4285212090 hasConceptScore W4285212090C41008148 @default.
- W4285212090 hasConceptScore W4285212090C62073222 @default.
- W4285212090 hasConceptScore W4285212090C65880906 @default.
- W4285212090 hasConceptScore W4285212090C89421646 @default.
- W4285212090 hasLocation W42852120901 @default.
- W4285212090 hasOpenAccess W4285212090 @default.
- W4285212090 hasPrimaryLocation W42852120901 @default.
- W4285212090 hasRelatedWork W1484778177 @default.
- W4285212090 hasRelatedWork W2049273972 @default.
- W4285212090 hasRelatedWork W2123056643 @default.
- W4285212090 hasRelatedWork W2249029578 @default.
- W4285212090 hasRelatedWork W2891688494 @default.
- W4285212090 hasRelatedWork W2911183586 @default.
- W4285212090 hasRelatedWork W2963580724 @default.
- W4285212090 hasRelatedWork W3118620840 @default.
- W4285212090 hasRelatedWork W4285212090 @default.
- W4285212090 hasRelatedWork W4300885336 @default.
- W4285212090 isParatext "false" @default.
- W4285212090 isRetracted "false" @default.
- W4285212090 workType "book-chapter" @default.