Matches in SemOpenAlex for { <https://semopenalex.org/work/W2096403606> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2096403606 abstract "This paper is concerned with the design of type systems for logic programming so as to satisfy the requirements of modern logic programming. The design of type systems is based on the language Godel which has a strongly type system based on many-sorted logic with parametric polymorphism. The definitions of the basic logic programming concepts of terms, atoms, programs are given in the setting of polymorphic many-sorted logic. In particular, an unification algorithm for typed predicates is proposed for the compiler construction of Godel." @default.
- W2096403606 created "2016-06-24" @default.
- W2096403606 creator A5026395915 @default.
- W2096403606 creator A5030679236 @default.
- W2096403606 date "2008-11-01" @default.
- W2096403606 modified "2023-09-26" @default.
- W2096403606 title "A polymorphic type system in logic programming" @default.
- W2096403606 cites W1504949952 @default.
- W2096403606 cites W1558978895 @default.
- W2096403606 cites W1965825795 @default.
- W2096403606 cites W2038037493 @default.
- W2096403606 cites W2156290800 @default.
- W2096403606 cites W68738721 @default.
- W2096403606 cites W99464374 @default.
- W2096403606 doi "https://doi.org/10.1109/iske.2008.4730911" @default.
- W2096403606 hasPublicationYear "2008" @default.
- W2096403606 type Work @default.
- W2096403606 sameAs 2096403606 @default.
- W2096403606 citedByCount "2" @default.
- W2096403606 crossrefType "proceedings-article" @default.
- W2096403606 hasAuthorship W2096403606A5026395915 @default.
- W2096403606 hasAuthorship W2096403606A5030679236 @default.
- W2096403606 hasConcept C128838566 @default.
- W2096403606 hasConcept C169590947 @default.
- W2096403606 hasConcept C199360897 @default.
- W2096403606 hasConcept C2781302003 @default.
- W2096403606 hasConcept C34165917 @default.
- W2096403606 hasConcept C41008148 @default.
- W2096403606 hasConcept C50033165 @default.
- W2096403606 hasConcept C80444323 @default.
- W2096403606 hasConcept C81721847 @default.
- W2096403606 hasConcept C96146094 @default.
- W2096403606 hasConcept C96315309 @default.
- W2096403606 hasConceptScore W2096403606C128838566 @default.
- W2096403606 hasConceptScore W2096403606C169590947 @default.
- W2096403606 hasConceptScore W2096403606C199360897 @default.
- W2096403606 hasConceptScore W2096403606C2781302003 @default.
- W2096403606 hasConceptScore W2096403606C34165917 @default.
- W2096403606 hasConceptScore W2096403606C41008148 @default.
- W2096403606 hasConceptScore W2096403606C50033165 @default.
- W2096403606 hasConceptScore W2096403606C80444323 @default.
- W2096403606 hasConceptScore W2096403606C81721847 @default.
- W2096403606 hasConceptScore W2096403606C96146094 @default.
- W2096403606 hasConceptScore W2096403606C96315309 @default.
- W2096403606 hasLocation W20964036061 @default.
- W2096403606 hasOpenAccess W2096403606 @default.
- W2096403606 hasPrimaryLocation W20964036061 @default.
- W2096403606 hasRelatedWork W1237419177 @default.
- W2096403606 hasRelatedWork W1487831734 @default.
- W2096403606 hasRelatedWork W1513935493 @default.
- W2096403606 hasRelatedWork W1521281415 @default.
- W2096403606 hasRelatedWork W1542582773 @default.
- W2096403606 hasRelatedWork W1555887805 @default.
- W2096403606 hasRelatedWork W1567343765 @default.
- W2096403606 hasRelatedWork W1573864018 @default.
- W2096403606 hasRelatedWork W2009227846 @default.
- W2096403606 hasRelatedWork W2029199026 @default.
- W2096403606 hasRelatedWork W2096488355 @default.
- W2096403606 hasRelatedWork W2134921163 @default.
- W2096403606 hasRelatedWork W2148020453 @default.
- W2096403606 hasRelatedWork W2154827801 @default.
- W2096403606 hasRelatedWork W2166678622 @default.
- W2096403606 hasRelatedWork W2479610836 @default.
- W2096403606 hasRelatedWork W2491298987 @default.
- W2096403606 hasRelatedWork W2496842025 @default.
- W2096403606 hasRelatedWork W2524829341 @default.
- W2096403606 hasRelatedWork W789857969 @default.
- W2096403606 isParatext "false" @default.
- W2096403606 isRetracted "false" @default.
- W2096403606 magId "2096403606" @default.
- W2096403606 workType "article" @default.