Zobrazeno 1 - 10
of 159
pro vyhledávání: '"Goguen, Joseph"'
Autor:
Goguen, Joseph A.
This book can be seen either as a text on theorem proving that uses techniques from general algebra, or else as a text on general algebra illustrated and made concrete by practical exercises in theorem proving. The book considers several different lo
Externí odkaz:
http://arxiv.org/abs/2101.02690
Publikováno v:
In Computer Languages, Systems & Structures 2009 35(4):422-434
Autor:
Goguen, Joseph, Stevens, Andrew, Hilberdink, Hendrik, Hobley, Keith, Hunt, W. A., Melham, T. F.
Publikováno v:
Philosophical Transactions: Physical Sciences and Engineering, 1992 Apr . 339(1652), 69-86.
Externí odkaz:
https://www.jstor.org/stable/54013
Autor:
Goguen, Joseph A., Fox Harrell, D.
Publikováno v:
In Studies in Multidisciplinarity 2005 2:83-97
Publikováno v:
In Journal of Logic and Algebraic Programming 2002 51(1):1-41
Publikováno v:
In Electronic Notes in Theoretical Computer Science 2000 36:2-23
Autor:
Goguen, Joseph, Malcolm, Grant *
Publikováno v:
In Theoretical Computer Science 2000 245(1):55-101
Autor:
Goguen, Joseph A.1
Publikováno v:
Logic Journal of the IGPL. Nov2005, Vol. 13 Issue 6, p685-715. 31p.