Home / Authors / Kazunori Ueda

Books by Kazunori Ueda

All books by this author

1 books found
On the operational semantice [i.e. semantics] of Guarded Horn Clauses (preliminary draft) (ICOT technical report)
On the operational semantice [i.e. semantics] of Guarded Ho…
By: Kazunori Ueda
View Details