Matches in SemOpenAlex for { <https://semopenalex.org/work/W1552209967> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W1552209967 abstract "Toward the concurrent implementation of computational systems.- On negation as instantiation.- Independence in dynamically scheduled logic languages.- Heterogeneous constraint solving.- A hierarchy of semantics for normal constraint logic programs.- Order-sorted termination: The unsorted way.- Unravelings and ultra-properties.- Standardization theorem revisited.- Discrete Normalization and Standardization in Deterministic Residual Structures.- A language for the logical specification of processes and relations.- A process algebra for synchronous concurrent constraint programming.- An algebraic approach to mixins and modularity.- A strict border for the decidability of E-unification for recursive functions.- Prime factorizations of abstract domains using first-order logic.- Abstractions of uniform proofs.- Complementing logic program semantics.- Meaningless terms in rewriting.- Unique normal form property of Higher-Order Rewriting Systems.- ?-calculi with explicit substitutions and composition which preserve ?-strong normalization.- Algebraic semantics for functional logic programming with polymorphic order-sorted types.- Specifying type systems.- The semantic treatment of polymorphic specification languages." @default.
- W1552209967 created "2016-06-24" @default.
- W1552209967 creator A5024421847 @default.
- W1552209967 creator A5035649633 @default.
- W1552209967 date "1996-09-30" @default.
- W1552209967 modified "2023-09-24" @default.
- W1552209967 title "Algebraic and Logic Programming: 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings" @default.
- W1552209967 hasPublicationYear "1996" @default.
- W1552209967 type Work @default.
- W1552209967 sameAs 1552209967 @default.
- W1552209967 citedByCount "0" @default.
- W1552209967 crossrefType "book" @default.
- W1552209967 hasAuthorship W1552209967A5024421847 @default.
- W1552209967 hasAuthorship W1552209967A5035649633 @default.
- W1552209967 hasConcept C102993220 @default.
- W1552209967 hasConcept C105795698 @default.
- W1552209967 hasConcept C128838566 @default.
- W1552209967 hasConcept C136119220 @default.
- W1552209967 hasConcept C137631369 @default.
- W1552209967 hasConcept C153269930 @default.
- W1552209967 hasConcept C154690210 @default.
- W1552209967 hasConcept C154945302 @default.
- W1552209967 hasConcept C169896238 @default.
- W1552209967 hasConcept C173404611 @default.
- W1552209967 hasConcept C176783269 @default.
- W1552209967 hasConcept C184337299 @default.
- W1552209967 hasConcept C199360897 @default.
- W1552209967 hasConcept C202444582 @default.
- W1552209967 hasConcept C204306468 @default.
- W1552209967 hasConcept C2779729104 @default.
- W1552209967 hasConcept C33923547 @default.
- W1552209967 hasConcept C34165917 @default.
- W1552209967 hasConcept C41008148 @default.
- W1552209967 hasConcept C44616089 @default.
- W1552209967 hasConcept C49937458 @default.
- W1552209967 hasConcept C50033165 @default.
- W1552209967 hasConcept C80444323 @default.
- W1552209967 hasConcept C96315309 @default.
- W1552209967 hasConceptScore W1552209967C102993220 @default.
- W1552209967 hasConceptScore W1552209967C105795698 @default.
- W1552209967 hasConceptScore W1552209967C128838566 @default.
- W1552209967 hasConceptScore W1552209967C136119220 @default.
- W1552209967 hasConceptScore W1552209967C137631369 @default.
- W1552209967 hasConceptScore W1552209967C153269930 @default.
- W1552209967 hasConceptScore W1552209967C154690210 @default.
- W1552209967 hasConceptScore W1552209967C154945302 @default.
- W1552209967 hasConceptScore W1552209967C169896238 @default.
- W1552209967 hasConceptScore W1552209967C173404611 @default.
- W1552209967 hasConceptScore W1552209967C176783269 @default.
- W1552209967 hasConceptScore W1552209967C184337299 @default.
- W1552209967 hasConceptScore W1552209967C199360897 @default.
- W1552209967 hasConceptScore W1552209967C202444582 @default.
- W1552209967 hasConceptScore W1552209967C204306468 @default.
- W1552209967 hasConceptScore W1552209967C2779729104 @default.
- W1552209967 hasConceptScore W1552209967C33923547 @default.
- W1552209967 hasConceptScore W1552209967C34165917 @default.
- W1552209967 hasConceptScore W1552209967C41008148 @default.
- W1552209967 hasConceptScore W1552209967C44616089 @default.
- W1552209967 hasConceptScore W1552209967C49937458 @default.
- W1552209967 hasConceptScore W1552209967C50033165 @default.
- W1552209967 hasConceptScore W1552209967C80444323 @default.
- W1552209967 hasConceptScore W1552209967C96315309 @default.
- W1552209967 hasLocation W15522099671 @default.
- W1552209967 hasOpenAccess W1552209967 @default.
- W1552209967 hasPrimaryLocation W15522099671 @default.
- W1552209967 hasRelatedWork W1491415820 @default.
- W1552209967 hasRelatedWork W1494240257 @default.
- W1552209967 hasRelatedWork W1494377890 @default.
- W1552209967 hasRelatedWork W1523266089 @default.
- W1552209967 hasRelatedWork W1533562965 @default.
- W1552209967 hasRelatedWork W1541822614 @default.
- W1552209967 hasRelatedWork W1639628887 @default.
- W1552209967 hasRelatedWork W1747580701 @default.
- W1552209967 hasRelatedWork W1765627215 @default.
- W1552209967 hasRelatedWork W1777763691 @default.
- W1552209967 hasRelatedWork W1811327378 @default.
- W1552209967 hasRelatedWork W1850297979 @default.
- W1552209967 hasRelatedWork W1938739028 @default.
- W1552209967 hasRelatedWork W1964964089 @default.
- W1552209967 hasRelatedWork W2101254143 @default.
- W1552209967 hasRelatedWork W2124266137 @default.
- W1552209967 hasRelatedWork W2954733742 @default.
- W1552209967 hasRelatedWork W566359488 @default.
- W1552209967 hasRelatedWork W596998252 @default.
- W1552209967 hasRelatedWork W652485094 @default.
- W1552209967 isParatext "false" @default.
- W1552209967 isRetracted "false" @default.
- W1552209967 magId "1552209967" @default.
- W1552209967 workType "book" @default.