Matches in SemOpenAlex for { <https://semopenalex.org/work/W3006093586> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W3006093586 startingPage "47" @default.
- W3006093586 created "2020-02-24" @default.
- W3006093586 creator A5029235448 @default.
- W3006093586 creator A5053650458 @default.
- W3006093586 creator A5080474978 @default.
- W3006093586 date "1996-01-01" @default.
- W3006093586 modified "2023-09-23" @default.
- W3006093586 title "A modal mu-calculus and a proof system for value passing processes." @default.
- W3006093586 hasPublicationYear "1996" @default.
- W3006093586 type Work @default.
- W3006093586 sameAs 3006093586 @default.
- W3006093586 citedByCount "0" @default.
- W3006093586 crossrefType "journal-article" @default.
- W3006093586 hasAuthorship W3006093586A5029235448 @default.
- W3006093586 hasAuthorship W3006093586A5053650458 @default.
- W3006093586 hasAuthorship W3006093586A5080474978 @default.
- W3006093586 hasConcept C105795698 @default.
- W3006093586 hasConcept C145420912 @default.
- W3006093586 hasConcept C188027245 @default.
- W3006093586 hasConcept C192562407 @default.
- W3006093586 hasConcept C199343813 @default.
- W3006093586 hasConcept C2776291640 @default.
- W3006093586 hasConcept C2777686260 @default.
- W3006093586 hasConcept C33923547 @default.
- W3006093586 hasConcept C71139939 @default.
- W3006093586 hasConcept C71924100 @default.
- W3006093586 hasConceptScore W3006093586C105795698 @default.
- W3006093586 hasConceptScore W3006093586C145420912 @default.
- W3006093586 hasConceptScore W3006093586C188027245 @default.
- W3006093586 hasConceptScore W3006093586C192562407 @default.
- W3006093586 hasConceptScore W3006093586C199343813 @default.
- W3006093586 hasConceptScore W3006093586C2776291640 @default.
- W3006093586 hasConceptScore W3006093586C2777686260 @default.
- W3006093586 hasConceptScore W3006093586C33923547 @default.
- W3006093586 hasConceptScore W3006093586C71139939 @default.
- W3006093586 hasConceptScore W3006093586C71924100 @default.
- W3006093586 hasLocation W30060935861 @default.
- W3006093586 hasOpenAccess W3006093586 @default.
- W3006093586 hasPrimaryLocation W30060935861 @default.
- W3006093586 hasRelatedWork W137817110 @default.
- W3006093586 hasRelatedWork W1505455301 @default.
- W3006093586 hasRelatedWork W1587782590 @default.
- W3006093586 hasRelatedWork W160450709 @default.
- W3006093586 hasRelatedWork W1778705331 @default.
- W3006093586 hasRelatedWork W1976486550 @default.
- W3006093586 hasRelatedWork W2035382252 @default.
- W3006093586 hasRelatedWork W2039155915 @default.
- W3006093586 hasRelatedWork W2537513979 @default.
- W3006093586 hasRelatedWork W2752961959 @default.
- W3006093586 hasRelatedWork W2950168006 @default.
- W3006093586 hasRelatedWork W2951635660 @default.
- W3006093586 hasRelatedWork W2964049798 @default.
- W3006093586 hasRelatedWork W2982615055 @default.
- W3006093586 hasRelatedWork W2999943730 @default.
- W3006093586 hasRelatedWork W3011457928 @default.
- W3006093586 hasRelatedWork W3030115616 @default.
- W3006093586 hasRelatedWork W3100516864 @default.
- W3006093586 hasRelatedWork W1524781085 @default.
- W3006093586 hasRelatedWork W1541877723 @default.
- W3006093586 isParatext "false" @default.
- W3006093586 isRetracted "false" @default.
- W3006093586 magId "3006093586" @default.
- W3006093586 workType "article" @default.