Search Sciweavers | Sciweavers

1948 search results - page 11 / 390

» Formalizing Mirror Theory

click to vote

IFIP
1994
Springer

83views Programming Languages» more IFIP 1994»

The Theory and Practice of A Formal Method: NewCoRe

13 years 11 months ago

Download spinroot.com

Gerard J. Holzmann

claim paper

Read More »

click to vote

BIRTHDAY
2008
Springer

84views Applied Computing» more BIRTHDAY 2008»

A Framework for Formalizing Set Theories Based on the Use of Static Set Terms

13 years 9 months ago

Download www.cs.tau.ac.il

Arnon Avron

claim paper

Read More »

click to vote

AIL
2010

87views more AIL 2010»

A hybrid formal theory of arguments, stories and criminal evidence

13 years 7 months ago

Download www.cs.uu.nl

Floris J. Bex, Peter J. van Koppen, Henry Prakken,...

claim paper

Read More »

click to vote

CORR
2010
Springer

54views Education» more CORR 2010»

Formal Theories for Logspace Counting

13 years 7 months ago

Download www.cs.utoronto.ca

Lila Fontes

claim paper

Read More »

click to vote

JODL
2008

74views more JODL 2008»

Towards a digital library theory: a formal digital library ontology

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers