Matches in SemOpenAlex for { <https://semopenalex.org/work/W347227831> ?p ?o ?g. }
- W347227831 abstract "Interpretation and Partition Refinement for Model Checking D. R. Dams Faculty of Mathematics and Computing Science, TUE, 1996-13 Topological Dualities in Semantics M. M. Bonsangue Faculty of Mathematics and Computer Science, VUA, 1996-14 Algorithms for Graphs of Small Treewidth B. L. E. de Fluiter Faculty of Mathematics and Computer Science, UU, 1997-01 Process-algebraic Transformations in Context W. T. M. Kars Faculty of Computer Science, UT, 1997-02 A Generic Theory of Data Types P. F. Hoogendijk Faculty of Mathematics and Computing Science, TUE, 1997-03 The Evolution of Type Theory in Logic and Mathematics T. D. L. Laan Faculty of Mathematics and Computing Science, TUE, 1997-04 Preservation of Termination for Explicit Substitution C. J. Bloo Faculty of Mathematics and Computing Science, TUE, 1997-05 Discrete-Time Process Algebra J. J. Vereijken Faculty of Mathematics and Computing Science, TUE, 1997-06" @default.
- W347227831 created "2016-06-24" @default.
- W347227831 creator A5037463797 @default.
- W347227831 date "1997-01-01" @default.
- W347227831 modified "2023-09-26" @default.
- W347227831 title "Discrete-time process algebra" @default.
- W347227831 cites W103974107 @default.
- W347227831 cites W108028278 @default.
- W347227831 cites W129716784 @default.
- W347227831 cites W134545472 @default.
- W347227831 cites W134686728 @default.
- W347227831 cites W1481432706 @default.
- W347227831 cites W1486738794 @default.
- W347227831 cites W1491196069 @default.
- W347227831 cites W1492571724 @default.
- W347227831 cites W1502827198 @default.
- W347227831 cites W1503762954 @default.
- W347227831 cites W1503973138 @default.
- W347227831 cites W1508887340 @default.
- W347227831 cites W1509985362 @default.
- W347227831 cites W1537242232 @default.
- W347227831 cites W1547524815 @default.
- W347227831 cites W1547562281 @default.
- W347227831 cites W1555255704 @default.
- W347227831 cites W1556409520 @default.
- W347227831 cites W1558437246 @default.
- W347227831 cites W1559986400 @default.
- W347227831 cites W1561503050 @default.
- W347227831 cites W1564426074 @default.
- W347227831 cites W1564613614 @default.
- W347227831 cites W1566733033 @default.
- W347227831 cites W1567258120 @default.
- W347227831 cites W1570278595 @default.
- W347227831 cites W1571091199 @default.
- W347227831 cites W1572677968 @default.
- W347227831 cites W1578649151 @default.
- W347227831 cites W1579183220 @default.
- W347227831 cites W1581627793 @default.
- W347227831 cites W1586199930 @default.
- W347227831 cites W1587275578 @default.
- W347227831 cites W1588904986 @default.
- W347227831 cites W1596400039 @default.
- W347227831 cites W1603124373 @default.
- W347227831 cites W1603484428 @default.
- W347227831 cites W1604894272 @default.
- W347227831 cites W1608135341 @default.
- W347227831 cites W1649561845 @default.
- W347227831 cites W1720140439 @default.
- W347227831 cites W1729876878 @default.
- W347227831 cites W1798749364 @default.
- W347227831 cites W1799093704 @default.
- W347227831 cites W1822398681 @default.
- W347227831 cites W1841277100 @default.
- W347227831 cites W1855907959 @default.
- W347227831 cites W1864770422 @default.
- W347227831 cites W1868341999 @default.
- W347227831 cites W1925998627 @default.
- W347227831 cites W1932593048 @default.
- W347227831 cites W1939535453 @default.
- W347227831 cites W1964934589 @default.
- W347227831 cites W1972478730 @default.
- W347227831 cites W1976029121 @default.
- W347227831 cites W1985660652 @default.
- W347227831 cites W1994216518 @default.
- W347227831 cites W2001026449 @default.
- W347227831 cites W2010698657 @default.
- W347227831 cites W2016061096 @default.
- W347227831 cites W2021607222 @default.
- W347227831 cites W2034717157 @default.
- W347227831 cites W2037230951 @default.
- W347227831 cites W2040637509 @default.
- W347227831 cites W2043781314 @default.
- W347227831 cites W2058245002 @default.
- W347227831 cites W207043953 @default.
- W347227831 cites W2070908350 @default.
- W347227831 cites W2076513239 @default.
- W347227831 cites W2085912345 @default.
- W347227831 cites W2088903792 @default.
- W347227831 cites W2089501676 @default.
- W347227831 cites W2089546907 @default.
- W347227831 cites W2095975761 @default.
- W347227831 cites W2098981343 @default.
- W347227831 cites W2109738452 @default.
- W347227831 cites W2113391296 @default.
- W347227831 cites W2114817587 @default.
- W347227831 cites W2119520409 @default.
- W347227831 cites W2119929332 @default.
- W347227831 cites W2126018011 @default.
- W347227831 cites W2126860147 @default.
- W347227831 cites W2131862443 @default.
- W347227831 cites W2133442509 @default.
- W347227831 cites W2135317805 @default.
- W347227831 cites W2136133653 @default.
- W347227831 cites W2136920408 @default.
- W347227831 cites W2138549619 @default.
- W347227831 cites W2142919644 @default.
- W347227831 cites W2145662215 @default.
- W347227831 cites W2146604379 @default.
- W347227831 cites W2155745357 @default.
- W347227831 cites W2155852086 @default.