Matches in SemOpenAlex for { <https://semopenalex.org/work/W1574132018> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1574132018 endingPage "280" @default.
- W1574132018 startingPage "277" @default.
- W1574132018 abstract "My thesis aims at designing a practical language as close as possible to the linear concurrent constraint (LCC) theory. The main contribution is a new operational semantics which behaves as an angelic scheduler with a tractable algorithmic complexity. This operational semantics is sound and complete with respect to the logical semantics and allows the construction of a rich language over a very simple kernel." @default.
- W1574132018 created "2016-06-24" @default.
- W1574132018 creator A5078716669 @default.
- W1574132018 date "2010-01-01" @default.
- W1574132018 modified "2023-09-23" @default.
- W1574132018 title "Design and Implementation of a Concurrent Logic Programming Language with Linear Logic Constraints" @default.
- W1574132018 cites W1503552388 @default.
- W1574132018 cites W1583971359 @default.
- W1574132018 cites W2010057075 @default.
- W1574132018 cites W2020916002 @default.
- W1574132018 cites W2041934467 @default.
- W1574132018 cites W2073450983 @default.
- W1574132018 cites W2074225271 @default.
- W1574132018 doi "https://doi.org/10.4230/lipics.iclp.2010.277" @default.
- W1574132018 hasPublicationYear "2010" @default.
- W1574132018 type Work @default.
- W1574132018 sameAs 1574132018 @default.
- W1574132018 citedByCount "0" @default.
- W1574132018 crossrefType "proceedings-article" @default.
- W1574132018 hasAuthorship W1574132018A5078716669 @default.
- W1574132018 hasConcept C128838566 @default.
- W1574132018 hasConcept C156325763 @default.
- W1574132018 hasConcept C184337299 @default.
- W1574132018 hasConcept C199360897 @default.
- W1574132018 hasConcept C204306468 @default.
- W1574132018 hasConcept C2524010 @default.
- W1574132018 hasConcept C2776036281 @default.
- W1574132018 hasConcept C28077239 @default.
- W1574132018 hasConcept C33923547 @default.
- W1574132018 hasConcept C34165917 @default.
- W1574132018 hasConcept C41008148 @default.
- W1574132018 hasConcept C4777664 @default.
- W1574132018 hasConcept C50033165 @default.
- W1574132018 hasConcept C80444323 @default.
- W1574132018 hasConcept C96315309 @default.
- W1574132018 hasConceptScore W1574132018C128838566 @default.
- W1574132018 hasConceptScore W1574132018C156325763 @default.
- W1574132018 hasConceptScore W1574132018C184337299 @default.
- W1574132018 hasConceptScore W1574132018C199360897 @default.
- W1574132018 hasConceptScore W1574132018C204306468 @default.
- W1574132018 hasConceptScore W1574132018C2524010 @default.
- W1574132018 hasConceptScore W1574132018C2776036281 @default.
- W1574132018 hasConceptScore W1574132018C28077239 @default.
- W1574132018 hasConceptScore W1574132018C33923547 @default.
- W1574132018 hasConceptScore W1574132018C34165917 @default.
- W1574132018 hasConceptScore W1574132018C41008148 @default.
- W1574132018 hasConceptScore W1574132018C4777664 @default.
- W1574132018 hasConceptScore W1574132018C50033165 @default.
- W1574132018 hasConceptScore W1574132018C80444323 @default.
- W1574132018 hasConceptScore W1574132018C96315309 @default.
- W1574132018 hasLocation W15741320181 @default.
- W1574132018 hasOpenAccess W1574132018 @default.
- W1574132018 hasPrimaryLocation W15741320181 @default.
- W1574132018 hasRelatedWork W1490952664 @default.
- W1574132018 hasRelatedWork W1497796457 @default.
- W1574132018 hasRelatedWork W151144758 @default.
- W1574132018 hasRelatedWork W1529202760 @default.
- W1574132018 hasRelatedWork W153586760 @default.
- W1574132018 hasRelatedWork W1538028634 @default.
- W1574132018 hasRelatedWork W1579358114 @default.
- W1574132018 hasRelatedWork W1584978202 @default.
- W1574132018 hasRelatedWork W1604733797 @default.
- W1574132018 hasRelatedWork W1748595489 @default.
- W1574132018 hasRelatedWork W177435153 @default.
- W1574132018 hasRelatedWork W1810083572 @default.
- W1574132018 hasRelatedWork W1952868133 @default.
- W1574132018 hasRelatedWork W2033139659 @default.
- W1574132018 hasRelatedWork W2101531263 @default.
- W1574132018 hasRelatedWork W2132981613 @default.
- W1574132018 hasRelatedWork W2139267958 @default.
- W1574132018 hasRelatedWork W2163870768 @default.
- W1574132018 hasRelatedWork W2898098713 @default.
- W1574132018 hasRelatedWork W1948202499 @default.
- W1574132018 hasVolume "7" @default.
- W1574132018 isParatext "false" @default.
- W1574132018 isRetracted "false" @default.
- W1574132018 magId "1574132018" @default.
- W1574132018 workType "article" @default.