Order-Sorted Equational Computation (English)
Free access
- New search for: Smolka, Gert
- New search for: Nutt, Werner
- New search for: Goguen, Joseph A.
- New search for: Meseguer, José
- New search for: Smolka, Gert
- New search for: Nutt, Werner
- New search for: Goguen, Joseph A.
- New search for: Meseguer, José
1987
- Paper / Electronic Resource
-
Title:Order-Sorted Equational Computation
-
Contributors:Smolka, Gert ( author ) / Nutt, Werner ( author ) / Goguen, Joseph A. ( author ) / Meseguer, José ( author )
-
Publication date:1987-01-01
-
DOI:
-
Type of media:Paper
-
Type of material:Electronic Resource
-
Language:English
- New search for: 004 / 620
- Further information on Dewey Decimal Classification
-
Keywords:
-
Classification:
-
Source: