FRINK Linked Data Fragments server

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

• W2733058695 abstract "We present a Coq reflexive tactic for deciding equalities or inequalities in Kleene algebras. This tactic is part of a larger project, whose aim is to provide tools for reasoning about binary relations in Coq: binary relations form a Kleene algebra, where the star operation is the reflexive transitive closure. Our tactic relies on an initiality theorem by Kozen, whose proof goes by replaying finite automata algorithms in an algebraic way, using matrices." @default.
• W2733058695 created "2017-07-14" @default.
• W2733058695 creator A5047022412 @default.
• W2733058695 creator A5084356882 @default.
• W2733058695 date "2009-05-01" @default.
• W2733058695 modified "2023-09-25" @default.
• W2733058695 title "A Tactic for Deciding Kleene Algebras" @default.
• W2733058695 cites W137476671 @default.
• W2733058695 cites W1486558830 @default.
• W2733058695 cites W1542112699 @default.
• W2733058695 cites W1558115254 @default.
• W2733058695 cites W1567380020 @default.
• W2733058695 cites W1570445666 @default.
• W2733058695 cites W1608897385 @default.
• W2733058695 cites W1652609218 @default.
• W2733058695 cites W16542559 @default.
• W2733058695 cites W1655990431 @default.
• W2733058695 cites W2007464118 @default.
• W2733058695 cites W2027484135 @default.
• W2733058695 cites W2030681981 @default.
• W2733058695 cites W2054801208 @default.
• W2733058695 cites W2088432971 @default.
• W2733058695 cites W2092860912 @default.
• W2733058695 cites W2099163661 @default.
• W2733058695 cites W2108661280 @default.
• W2733058695 cites W2163152086 @default.
• W2733058695 cites W2912608078 @default.
• W2733058695 cites W3150132563 @default.
• W2733058695 cites W640283432 @default.
• W2733058695 hasPublicationYear "2009" @default.
• W2733058695 type Work @default.
• W2733058695 sameAs 2733058695 @default.
• W2733058695 citedByCount "0" @default.
• W2733058695 crossrefType "journal-article" @default.
• W2733058695 hasAuthorship W2733058695A5047022412 @default.
• W2733058695 hasAuthorship W2733058695A5084356882 @default.
• W2733058695 hasConcept C108710211 @default.
• W2733058695 hasConcept C112505250 @default.
• W2733058695 hasConcept C114614502 @default.
• W2733058695 hasConcept C11821877 @default.
• W2733058695 hasConcept C118615104 @default.
• W2733058695 hasConcept C123260079 @default.
• W2733058695 hasConcept C128896722 @default.
• W2733058695 hasConcept C13200473 @default.
• W2733058695 hasConcept C134306372 @default.
• W2733058695 hasConcept C136119220 @default.
• W2733058695 hasConcept C144024400 @default.
• W2733058695 hasConcept C146834321 @default.
• W2733058695 hasConcept C154564781 @default.
• W2733058695 hasConcept C154690210 @default.
• W2733058695 hasConcept C162324750 @default.
• W2733058695 hasConcept C191399111 @default.
• W2733058695 hasConcept C193702766 @default.
• W2733058695 hasConcept C199360897 @default.
• W2733058695 hasConcept C202444582 @default.
• W2733058695 hasConcept C206470798 @default.
• W2733058695 hasConcept C2524010 @default.
• W2733058695 hasConcept C33923547 @default.
• W2733058695 hasConcept C34447519 @default.
• W2733058695 hasConcept C36289849 @default.
• W2733058695 hasConcept C40220748 @default.
• W2733058695 hasConcept C41008148 @default.
• W2733058695 hasConcept C65180967 @default.
• W2733058695 hasConcept C80444323 @default.
• W2733058695 hasConcept C9376300 @default.
• W2733058695 hasConceptScore W2733058695C108710211 @default.
• W2733058695 hasConceptScore W2733058695C112505250 @default.
• W2733058695 hasConceptScore W2733058695C114614502 @default.
• W2733058695 hasConceptScore W2733058695C11821877 @default.
• W2733058695 hasConceptScore W2733058695C118615104 @default.
• W2733058695 hasConceptScore W2733058695C123260079 @default.
• W2733058695 hasConceptScore W2733058695C128896722 @default.
• W2733058695 hasConceptScore W2733058695C13200473 @default.
• W2733058695 hasConceptScore W2733058695C134306372 @default.
• W2733058695 hasConceptScore W2733058695C136119220 @default.
• W2733058695 hasConceptScore W2733058695C144024400 @default.
• W2733058695 hasConceptScore W2733058695C146834321 @default.
• W2733058695 hasConceptScore W2733058695C154564781 @default.
• W2733058695 hasConceptScore W2733058695C154690210 @default.
• W2733058695 hasConceptScore W2733058695C162324750 @default.
• W2733058695 hasConceptScore W2733058695C191399111 @default.
• W2733058695 hasConceptScore W2733058695C193702766 @default.
• W2733058695 hasConceptScore W2733058695C199360897 @default.
• W2733058695 hasConceptScore W2733058695C202444582 @default.
• W2733058695 hasConceptScore W2733058695C206470798 @default.
• W2733058695 hasConceptScore W2733058695C2524010 @default.
• W2733058695 hasConceptScore W2733058695C33923547 @default.
• W2733058695 hasConceptScore W2733058695C34447519 @default.
• W2733058695 hasConceptScore W2733058695C36289849 @default.
• W2733058695 hasConceptScore W2733058695C40220748 @default.
• W2733058695 hasConceptScore W2733058695C41008148 @default.
• W2733058695 hasConceptScore W2733058695C65180967 @default.
• W2733058695 hasConceptScore W2733058695C80444323 @default.
• W2733058695 hasConceptScore W2733058695C9376300 @default.
• W2733058695 hasLocation W27330586951 @default.
• W2733058695 hasOpenAccess W2733058695 @default.
• W2733058695 hasPrimaryLocation W27330586951 @default.
• W2733058695 hasRelatedWork W1537318059 @default.
• W2733058695 hasRelatedWork W203065491 @default.
• W2733058695 hasRelatedWork W2097270855 @default.

• next