Search Results for Algebra.

Yazar

Bojańczyk, Mikołaj. editor.

Format:

Electronic Resources

Alıntı:

-- Resource-Tracking Concurrent Games -- Change Actions: Models of Generalised Differentiation -- Coalgebra Learning

10.

Yazar

Thiemann, Peter. editor.

Format:

Electronic Resources

Alıntı:

Approach -- Practical Optional Types for Clojure -- A Timed Process Algebra for Wireless Networks with an

11.

Yazar

Voronkov, Andrei. editor.

Format:

Electronic Resources

Alıntı:

Timed Process Algebra -- A Proof-based Method for Modeling Timed Systems -- Asymptotic Speedups

12.

Yazar

Ábrahám, Erika. editor.

Format:

Electronic Resources

Alıntı:

, soundness, and completeness; semantics, compositionality, and full abstraction; process algebra and

	{displayName}	{count}
{error}