FRINK Linked Data Fragments server

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

• W2165140747 endingPage "347" @default.
• W2165140747 startingPage "334" @default.
• W2165140747 abstract "We develop a compilation scheme and categorical abstract machine for execution of logic programs based on allegories, the categorical version of the calculus of relations. Operational and denotational semantics are developed using the same formalism, and query execution is performed using algebraic reasoning. Our work serves two purposes: achieving a formal model of a logic programming compiler and efficient runtime; building the base for incorporating features typical of functional programming in a declarative way, while maintaining 100% compatibility with existing Prolog programs." @default.
• W2165140747 created "2016-06-24" @default.
• W2165140747 creator A5001103236 @default.
• W2165140747 creator A5055058246 @default.
• W2165140747 date "2012-01-01" @default.
• W2165140747 modified "2023-10-14" @default.
• W2165140747 title "Logic Programming in Tabular Allegories" @default.
• W2165140747 cites W1115370 @default.
• W2165140747 cites W145092378 @default.
• W2165140747 cites W1496444438 @default.
• W2165140747 cites W1497991103 @default.
• W2165140747 cites W1508451735 @default.
• W2165140747 cites W1508633160 @default.
• W2165140747 cites W1541434994 @default.
• W2165140747 cites W1567458418 @default.
• W2165140747 cites W1594900487 @default.
• W2165140747 cites W160811697 @default.
• W2165140747 cites W164319552 @default.
• W2165140747 cites W1766332311 @default.
• W2165140747 cites W1801920691 @default.
• W2165140747 cites W187040695 @default.
• W2165140747 cites W1963658586 @default.
• W2165140747 cites W1964964089 @default.
• W2165140747 cites W1965620900 @default.
• W2165140747 cites W2006804775 @default.
• W2165140747 cites W2007757832 @default.
• W2165140747 cites W2018944629 @default.
• W2165140747 cites W2035613187 @default.
• W2165140747 cites W2040848372 @default.
• W2165140747 cites W2049362364 @default.
• W2165140747 cites W2087937565 @default.
• W2165140747 cites W2096947206 @default.
• W2165140747 cites W2098577293 @default.
• W2165140747 cites W2101225644 @default.
• W2165140747 cites W2108852136 @default.
• W2165140747 cites W2131165548 @default.
• W2165140747 cites W2132981613 @default.
• W2165140747 cites W2151776439 @default.
• W2165140747 cites W23023570 @default.
• W2165140747 cites W2950623176 @default.
• W2165140747 cites W3095065786 @default.
• W2165140747 cites W3150527377 @default.
• W2165140747 cites W116566670 @default.
• W2165140747 doi "https://doi.org/10.4230/lipics.iclp.2012.334" @default.
• W2165140747 hasPublicationYear "2012" @default.
• W2165140747 type Work @default.
• W2165140747 sameAs 2165140747 @default.
• W2165140747 citedByCount "1" @default.
• W2165140747 countsByYear W21651407472012 @default.
• W2165140747 crossrefType "proceedings-article" @default.
• W2165140747 hasAuthorship W2165140747A5001103236 @default.
• W2165140747 hasAuthorship W2165140747A5055058246 @default.
• W2165140747 hasConcept C128838566 @default.
• W2165140747 hasConcept C142362112 @default.
• W2165140747 hasConcept C146206909 @default.
• W2165140747 hasConcept C153349607 @default.
• W2165140747 hasConcept C156325763 @default.
• W2165140747 hasConcept C169590947 @default.
• W2165140747 hasConcept C184337299 @default.
• W2165140747 hasConcept C199360897 @default.
• W2165140747 hasConcept C207648694 @default.
• W2165140747 hasConcept C34165917 @default.
• W2165140747 hasConcept C41008148 @default.
• W2165140747 hasConcept C50033165 @default.
• W2165140747 hasConcept C558565934 @default.
• W2165140747 hasConcept C73301696 @default.
• W2165140747 hasConcept C80444323 @default.
• W2165140747 hasConcept C81721847 @default.
• W2165140747 hasConcept C96315309 @default.
• W2165140747 hasConceptScore W2165140747C128838566 @default.
• W2165140747 hasConceptScore W2165140747C142362112 @default.
• W2165140747 hasConceptScore W2165140747C146206909 @default.
• W2165140747 hasConceptScore W2165140747C153349607 @default.
• W2165140747 hasConceptScore W2165140747C156325763 @default.
• W2165140747 hasConceptScore W2165140747C169590947 @default.
• W2165140747 hasConceptScore W2165140747C184337299 @default.
• W2165140747 hasConceptScore W2165140747C199360897 @default.
• W2165140747 hasConceptScore W2165140747C207648694 @default.
• W2165140747 hasConceptScore W2165140747C34165917 @default.
• W2165140747 hasConceptScore W2165140747C41008148 @default.
• W2165140747 hasConceptScore W2165140747C50033165 @default.
• W2165140747 hasConceptScore W2165140747C558565934 @default.
• W2165140747 hasConceptScore W2165140747C73301696 @default.
• W2165140747 hasConceptScore W2165140747C80444323 @default.
• W2165140747 hasConceptScore W2165140747C81721847 @default.
• W2165140747 hasConceptScore W2165140747C96315309 @default.
• W2165140747 hasLocation W21651407471 @default.
• W2165140747 hasOpenAccess W2165140747 @default.
• W2165140747 hasPrimaryLocation W21651407471 @default.
• W2165140747 hasRelatedWork W1491259492 @default.
• W2165140747 hasRelatedWork W1504480574 @default.
• W2165140747 hasRelatedWork W1529202760 @default.
• W2165140747 hasRelatedWork W1534873390 @default.
• W2165140747 hasRelatedWork W153586760 @default.
• W2165140747 hasRelatedWork W1538667139 @default.
• W2165140747 hasRelatedWork W1540230739 @default.
• W2165140747 hasRelatedWork W1579358114 @default.
• W2165140747 hasRelatedWork W1584978202 @default.

• next