登入選單
Google圖書搜尋
Logic with Equality for Multialgebras
作者
Yngve Lamo
出版2002
ISBN
CORNELL:31924098232089
Qualifier-free Logic for Multialgebraic Theories
作者
Yngve Lamo
出版2002
ISBN
CORNELL:31924098232071
Towards Multiple Model Synchronization with Compre...
作者
Patrick Stünkel / Harald König / Yngve Lamo / Adrian Rutle
出版2020
ISBN
OCLC:1183980177
The Institution of Multialgebras
作者
Yngve Lamo
出版2000
ISBN
CORNELL:31924070131879
Specifications of Parameterized Data Types
作者
Yngve Lamo
出版2000
ISBN
CORNELL:31924070131945
Specification of Parameteroued Data Types
作者
Yngve Lamo / Michał Walicki
出版2000
ISBN
OCLC:48722721
Qulifier-free Logic for Multialgebraic Theories
作者
Yngve Lamo / Michał Walicki
出版2002
ISBN
OCLC:51702335
Modeling Partiality by Nondeterminism
作者
Yngve Lamo / Michal Walicki / Universitetet i Bergen. Department of Informatics
出版1999
ISBN
OCLC:247203791