Holger Sturm
1 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
The true bisimulations for 'since' and 'until' Opublikowano w: Logic and Logical Philosophy 2002 / Tom 10 / s. 173 - 1832002CZYSTY TEKST
Holger Sturm, The true bisimulations for 'since' and 'until', Logic and Logical Philosophy, 2002 / Tom 10, s. 173 - 183
BIBTEX@Article{ authors = "Holger Sturm", title = "The true bisimulations for 'since' and 'until'", journal = "Logic and Logical Philosophy", issue = "2002 / Tom 10", pages = "173 - 183" }
