Matches in SemOpenAlex for { <https://semopenalex.org/work/W1989045509> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1989045509 endingPage "143" @default.
- W1989045509 startingPage "127" @default.
- W1989045509 abstract "In this paper we present the process algebra HAL (Herbrand agent language) first introduced in (Belmesk et al., 1991). We then propose a modal proof system for HAL without value passing, and prove its correctness and completeness." @default.
- W1989045509 created "2016-06-24" @default.
- W1989045509 creator A5043771503 @default.
- W1989045509 date "1993-10-01" @default.
- W1989045509 modified "2023-09-25" @default.
- W1989045509 title "A complete modal proof system for HAL: the Herbrand agent language" @default.
- W1989045509 cites W106324025 @default.
- W1989045509 cites W1574579761 @default.
- W1989045509 cites W1578957942 @default.
- W1989045509 cites W1978469611 @default.
- W1989045509 cites W1979462141 @default.
- W1989045509 cites W2001748564 @default.
- W1989045509 cites W2033100041 @default.
- W1989045509 cites W2036996017 @default.
- W1989045509 cites W2061841985 @default.
- W1989045509 cites W2137865376 @default.
- W1989045509 cites W2143777429 @default.
- W1989045509 cites W2154439735 @default.
- W1989045509 cites W2171536993 @default.
- W1989045509 cites W3144368627 @default.
- W1989045509 cites W32773943 @default.
- W1989045509 doi "https://doi.org/10.1016/0304-3975(93)90342-q" @default.
- W1989045509 hasPublicationYear "1993" @default.
- W1989045509 type Work @default.
- W1989045509 sameAs 1989045509 @default.
- W1989045509 citedByCount "0" @default.
- W1989045509 crossrefType "journal-article" @default.
- W1989045509 hasAuthorship W1989045509A5043771503 @default.
- W1989045509 hasConcept C11413529 @default.
- W1989045509 hasConcept C134306372 @default.
- W1989045509 hasConcept C136119220 @default.
- W1989045509 hasConcept C159333733 @default.
- W1989045509 hasConcept C161771561 @default.
- W1989045509 hasConcept C17231256 @default.
- W1989045509 hasConcept C185592680 @default.
- W1989045509 hasConcept C188027245 @default.
- W1989045509 hasConcept C199343813 @default.
- W1989045509 hasConcept C199360897 @default.
- W1989045509 hasConcept C202444582 @default.
- W1989045509 hasConcept C27508121 @default.
- W1989045509 hasConcept C2777686260 @default.
- W1989045509 hasConcept C33923547 @default.
- W1989045509 hasConcept C39920170 @default.
- W1989045509 hasConcept C41008148 @default.
- W1989045509 hasConcept C55439883 @default.
- W1989045509 hasConcept C71139939 @default.
- W1989045509 hasConcept C71924100 @default.
- W1989045509 hasConceptScore W1989045509C11413529 @default.
- W1989045509 hasConceptScore W1989045509C134306372 @default.
- W1989045509 hasConceptScore W1989045509C136119220 @default.
- W1989045509 hasConceptScore W1989045509C159333733 @default.
- W1989045509 hasConceptScore W1989045509C161771561 @default.
- W1989045509 hasConceptScore W1989045509C17231256 @default.
- W1989045509 hasConceptScore W1989045509C185592680 @default.
- W1989045509 hasConceptScore W1989045509C188027245 @default.
- W1989045509 hasConceptScore W1989045509C199343813 @default.
- W1989045509 hasConceptScore W1989045509C199360897 @default.
- W1989045509 hasConceptScore W1989045509C202444582 @default.
- W1989045509 hasConceptScore W1989045509C27508121 @default.
- W1989045509 hasConceptScore W1989045509C2777686260 @default.
- W1989045509 hasConceptScore W1989045509C33923547 @default.
- W1989045509 hasConceptScore W1989045509C39920170 @default.
- W1989045509 hasConceptScore W1989045509C41008148 @default.
- W1989045509 hasConceptScore W1989045509C55439883 @default.
- W1989045509 hasConceptScore W1989045509C71139939 @default.
- W1989045509 hasConceptScore W1989045509C71924100 @default.
- W1989045509 hasIssue "1" @default.
- W1989045509 hasLocation W19890455091 @default.
- W1989045509 hasOpenAccess W1989045509 @default.
- W1989045509 hasPrimaryLocation W19890455091 @default.
- W1989045509 hasRelatedWork W1500877097 @default.
- W1989045509 hasRelatedWork W1989045509 @default.
- W1989045509 hasRelatedWork W2071254558 @default.
- W1989045509 hasRelatedWork W2355443701 @default.
- W1989045509 hasRelatedWork W2945569854 @default.
- W1989045509 hasRelatedWork W2978361984 @default.
- W1989045509 hasRelatedWork W3187116011 @default.
- W1989045509 hasRelatedWork W370643465 @default.
- W1989045509 hasRelatedWork W4286694953 @default.
- W1989045509 hasRelatedWork W59705961 @default.
- W1989045509 hasVolume "119" @default.
- W1989045509 isParatext "false" @default.
- W1989045509 isRetracted "false" @default.
- W1989045509 magId "1989045509" @default.
- W1989045509 workType "article" @default.