Your search returned 3 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
See Baker & Taylor
Comparative metric semantics of programming languages: nondeterminism and recursion/ Franck van Breugel. by
  • Breugel, Franck van, 1966-
Series: Progress in theoretical computer science
Publication details: Boston: Birkhäuser, c1998
Availability: Items available for loan: Castorina (1)Call number: 005.13 B846c 1998 IMPA.

Place hold Add to cart
2.
See Baker & Taylor
Mathematical aspects of logic programming semantics/ Pascal Hitzler, Anthony Seda. by
  • Hitzler, Pascal
  • Seda, Anthony
Series: Chapman & Hall/CRC studies in informatics series
Publication details: Boca Raton: CRC Press, c2011
Availability: Items available for loan: Castorina (1)Call number: 005.133 H676m 2011 IMPA.

Place hold Add to cart
3.
See Baker & Taylor
Recursive program schemes: semantics and proof theory/ W. P. de Roever, Jr. by
  • Roever, W.-P. de
Series: Mathematical Centre tracts ; 70.
Publication details: Amsterdam ; Mathematisch Centrum, 1976
Availability: Items available for loan: Castorina (1)Call number: 511.352 R719r 1976 IMPA.

Place hold Add to cart
Pages
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha