Search Sciweavers | Sciweavers

14084 search results - page 364 / 2817

» A Theory for Game Theories

180

click to vote

TPHOL
2009
IEEE

235views Automated Reasoning» more TPHOL 2009»

Some Domain Theory and Denotational Semantics in Coq

16 years 1 months ago

Download research.microsoft.com

Abstract. We present a Coq formalization of constructive ω-cpos (extending earlier work by Paulin-Mohring) up to and including the inverselimit construction of solutions to mixed-...

Nick Benton, Andrew Kennedy, Carsten Varming

claim paper

Read More »

175

click to vote

CAI
2009
Springer

132views Information Technology» more CAI 2009»

Process Algebra: An Algebraic Theory of Concurrency

16 years 1 months ago

Download www.cs.vu.nl

This tutorial provides an overview of the process algebra ACP.

Wan Fokkink

claim paper

Read More »

142

click to vote

CAI
2009
Springer

104views Information Technology» more CAI 2009»

Theories of Automatic Structures and Their Complexity

16 years 1 months ago

Download www.informatik.uni-leipzig.de

Dietrich Kuske

claim paper

Read More »

175

click to vote

CONCUR
2009
Springer

119views Distributed And Parallel Com...» more CONCUR 2009»

Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs

16 years 1 months ago

Download www.lama.univ-savoie.fr

Richard H. G. Garner, Tom Hirschowitz, Auré...

claim paper

Read More »

124

click to vote

CSL
2009
Springer

129views Automated Reasoning» more CSL 2009»

Forcing and Type Theory

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers