×

Found 12 Documents (Results 1–12)

Simplification orders in term rewriting. Derivation lengths, order types, and computability. (English) Zbl 1024.03037

Münster: Univ. Münster, Fachbereich Mathematik und Informatik, viii, 191 p. (2001).
MSC:  03D10 03F20 68Q42 03D20 68Q15 68Q05 03D28
PDFBibTeX XMLCite

Concurrency verification. Introduction to compositional and noncompositional methods. (English) Zbl 1009.68020

Cambridge Tracts in Theoretical Computer Science. 54. Cambridge: Cambridge University Press. xxii, 776 p. (2001).
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 3

Main Field

Software