Search Results - "Formal semantics."

Select result number 1
1

Modelling causality via action dependencies in branching time semantics. by Goltz, Ursula

Published in Information processing letters.

Call Number: loading...
Located: loading...

Article loading...

Add to Book Bag Remove from Book Bag
Select result number 2
2

Unifying wp and wlp. by Morgan, Carroll

Published in Information processing letters.

Call Number: loading...
Located: loading...

Article loading...

Add to Book Bag Remove from Book Bag

TUKLAS: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman