Author Search Results

Select result number 1
1

Rewriting Techniques and Applications [electronic resource] : 9th International Conference, RTA-98 Tsukuba, Japan, March 30 – April 1, 1998 Proceedings / Rewriting Techniques and Applications [electronic resource] : 9th International Conference, RTA-98 Tsukuba, Japan, March 30 – April 1, 1998 Proceedings /

by Nipkow, Tobias. editor., SpringerLink (Online service)
Published 1998

Texto biblioteca

COLPOS

Saved in:
Select result number 2
2

Rewriting Techniques and Applications [electronic resource] : 9th International Conference, RTA-98 Tsukuba, Japan, March 30 – April 1, 1998 Proceedings / Rewriting Techniques and Applications [electronic resource] : 9th International Conference, RTA-98 Tsukuba, Japan, March 30 – April 1, 1998 Proceedings /

by Nipkow, Tobias. editor., SpringerLink (Online service)
Published 1998

Texto biblioteca

COLPOS

Saved in:
Select result number 3
3

Types for Proofs and Programs [electronic resource] : International Workshop TYPES'93 Nijmegen, The Netherlands, May 24–28, 1993 Selected Papers / Types for Proofs and Programs [electronic resource] : International Workshop TYPES'93 Nijmegen, The Netherlands, May 24–28, 1993 Selected Papers /

by Barendregt, Henk. editor., Nipkow, Tobias. editor., SpringerLink (Online service)
Published 1994

Texto biblioteca

COLPOS

Saved in:
Select result number 4
4

Types for Proofs and Programs [electronic resource] : International Workshop TYPES'93 Nijmegen, The Netherlands, May 24–28, 1993 Selected Papers / Types for Proofs and Programs [electronic resource] : International Workshop TYPES'93 Nijmegen, The Netherlands, May 24–28, 1993 Selected Papers /

by Barendregt, Henk. editor., Nipkow, Tobias. editor., SpringerLink (Online service)
Published 1994

Texto biblioteca

COLPOS

Saved in:
Select result number 5
5

Isabelle/HOL [electronic resource] : A Proof Assistant for Higher-Order Logic / Isabelle/HOL [electronic resource] : A Proof Assistant for Higher-Order Logic /

by Nipkow, Tobias. editor., Wenzel, Markus. editor., Paulson, Lawrence C. editor., SpringerLink (Online service)
Published 2002

Texto biblioteca

COLPOS

Saved in:
Select result number 6
6

Isabelle/HOL [electronic resource] : A Proof Assistant for Higher-Order Logic / Isabelle/HOL [electronic resource] : A Proof Assistant for Higher-Order Logic /

by Nipkow, Tobias. editor., Wenzel, Markus. editor., Paulson, Lawrence C. editor., SpringerLink (Online service)
Published 2002

Texto biblioteca

COLPOS

Saved in:
Select result number 7
7

Higher-Order Algebra, Logic, and Term Rewriting [electronic resource] : First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers / Higher-Order Algebra, Logic, and Term Rewriting [electronic resource] : First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers /

by Heering, Jan. editor., Meinke, Karl. editor., Möller, Bernhard. editor., Nipkow, Tobias. editor., SpringerLink (Online service)
Published 1994

Texto biblioteca

COLPOS

Saved in:
Select result number 8
8

Higher-Order Algebra, Logic, and Term Rewriting [electronic resource] : First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers / Higher-Order Algebra, Logic, and Term Rewriting [electronic resource] : First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers /

by Heering, Jan. editor., Meinke, Karl. editor., Möller, Bernhard. editor., Nipkow, Tobias. editor., SpringerLink (Online service)
Published 1994

Texto biblioteca

COLPOS

Saved in:

Resource Map