Boek

Equivalence of Reductions in Higher-Order Rewriting

«

Score:

(3/0)

Aantal recensies:

0

Aantal keer getipt:

0

Aantal keer gelezen:

0

Auteur(s):

H.J.S. Bruggink

Categorie:

ISBN

9789039348178

Welkom op Boeklezers.nl

Boeklezers.nl is een netwerk voor sociaal lezen. Wij helpen lezers nieuwe boeken en schrijvers ontdekken, en brengen lezers met elkaar en schrijvers in contact. Meer lezen »

Er zijn nog geen verbanden gelegd.

Equivalence of Reductions in Higher-Order Rewriting

Welkom op Boeklezers.nl

Boeken zoals Equivalence of Reductions in Higher-Order Rewriting door H.J.S. Bruggink