SemOpenAlex |

SemOpenAlex

Matches in SemOpenAlex for { <https://semopenalex.org/work/W173674133> ?p ?o ?g. }

Showing items 1 to 100 of ±279 with 100 items per page.

W173674133 abstract "This appendix introduces the basics of structural operational semantics [171], which defines a labelled transition system over a term algebra. An up-to-date overview of structural operational semantics is given in [3]." @default.
W173674133 created "2016-06-24" @default.
W173674133 creator A5041913577 @default.
W173674133 creator A5071780761 @default.
W173674133 creator A5086150744 @default.
W173674133 date "2000-01-01" @default.
W173674133 modified "2023-09-27" @default.
W173674133 title "Structural Operational Semantics" @default.
W173674133 cites W131352529 @default.
W173674133 cites W1483510990 @default.
W173674133 cites W1487472891 @default.
W173674133 cites W1488664597 @default.
W173674133 cites W1494051470 @default.
W173674133 cites W1499638282 @default.
W173674133 cites W1503170978 @default.
W173674133 cites W1503973138 @default.
W173674133 cites W1508393535 @default.
W173674133 cites W1508408261 @default.
W173674133 cites W1509985362 @default.
W173674133 cites W1510067033 @default.
W173674133 cites W1513908012 @default.
W173674133 cites W1517759553 @default.
W173674133 cites W1526924728 @default.
W173674133 cites W1527487696 @default.
W173674133 cites W1529352999 @default.
W173674133 cites W1534883475 @default.
W173674133 cites W1542297244 @default.
W173674133 cites W1546727036 @default.
W173674133 cites W1547562281 @default.
W173674133 cites W1547752895 @default.
W173674133 cites W154885772 @default.
W173674133 cites W1550638834 @default.
W173674133 cites W1556091851 @default.
W173674133 cites W1558069942 @default.
W173674133 cites W1558512361 @default.
W173674133 cites W1559986400 @default.
W173674133 cites W1561011284 @default.
W173674133 cites W1562560068 @default.
W173674133 cites W1570445666 @default.
W173674133 cites W1571962375 @default.
W173674133 cites W1577334466 @default.
W173674133 cites W1578325940 @default.
W173674133 cites W1583295953 @default.
W173674133 cites W1589421353 @default.
W173674133 cites W1593666219 @default.
W173674133 cites W1593751827 @default.
W173674133 cites W1598923566 @default.
W173674133 cites W1602360707 @default.
W173674133 cites W1603484428 @default.
W173674133 cites W1604409022 @default.
W173674133 cites W1606134275 @default.
W173674133 cites W1672891595 @default.
W173674133 cites W1719974439 @default.
W173674133 cites W1755813429 @default.
W173674133 cites W1766332311 @default.
W173674133 cites W1791168610 @default.
W173674133 cites W1820239421 @default.
W173674133 cites W1855771754 @default.
W173674133 cites W1872012219 @default.
W173674133 cites W187709412 @default.
W173674133 cites W1878098282 @default.
W173674133 cites W188116187 @default.
W173674133 cites W1883772204 @default.
W173674133 cites W194413726 @default.
W173674133 cites W1946227193 @default.
W173674133 cites W1964175003 @default.
W173674133 cites W1964727056 @default.
W173674133 cites W1964838474 @default.
W173674133 cites W1965338471 @default.
W173674133 cites W1966112122 @default.
W173674133 cites W1966449987 @default.
W173674133 cites W1967181601 @default.
W173674133 cites W1968513265 @default.
W173674133 cites W1968839148 @default.
W173674133 cites W1969947545 @default.
W173674133 cites W1971107784 @default.
W173674133 cites W1972478730 @default.
W173674133 cites W1973311427 @default.
W173674133 cites W1976268573 @default.
W173674133 cites W1978375202 @default.
W173674133 cites W1978469611 @default.
W173674133 cites W1979462141 @default.
W173674133 cites W1980378659 @default.
W173674133 cites W1980939032 @default.
W173674133 cites W1984715534 @default.
W173674133 cites W1985161650 @default.
W173674133 cites W1990440312 @default.
W173674133 cites W1991027534 @default.
W173674133 cites W1994350081 @default.
W173674133 cites W1997305605 @default.
W173674133 cites W1998132813 @default.
W173674133 cites W1999706742 @default.
W173674133 cites W2001026449 @default.
W173674133 cites W2001748564 @default.
W173674133 cites W2005599232 @default.
W173674133 cites W2007270285 @default.
W173674133 cites W2017189999 @default.
W173674133 cites W2019447115 @default.
W173674133 cites W2022258624 @default.
W173674133 cites W2022487277 @default.