Sciweavers

2853 search results - page 92 / 571

» On Coherence in Computer Algebra

80

ICCS
2009
Springer

87views Applied Computing» more ICCS 2009»

Relation Algebra Operations on Formal Contexts

15 years 7 months ago

Relation Algebra Operations on Formal Contexts

Download www.upriss.org.uk

Uta Priss

claim paper

Read More »

73

Voted

TAMC
2009
Springer

88views Applied Computing» more TAMC 2009»

Constraints, Graphs, Algebra, Logic, and Complexity

15 years 7 months ago

Constraints, Graphs, Algebra, Logic, and Complexity

Download www.cs.bgu.ac.il

Moshe Y. Vardi

claim paper

Read More »

64

Voted

BIRTHDAY
2004
Springer

113views Applied Computing» more BIRTHDAY 2004»

An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language

15 years 6 months ago

An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language

Download formal.cs.uiuc.edu

Gul Agha, Prasanna Thati

claim paper

Read More »

73

Voted

AINA
2009
IEEE

66views Computer Networks» more AINA 2009»

Modelling Network Performance with a Spatial Stochastic Process Algebra

15 years 5 months ago

Modelling Network Performance with a Spatial Stochastic Process Algebra

Download www.cs.stir.ac.uk

Vashti Galpin

claim paper

Read More »

150

Voted

SNSC
2001
Springer

235views Applied Computing» more SNSC 2001»

Datagraphs in Algebraic Geometry and K3 Surfaces

15 years 5 months ago

Datagraphs in Algebraic Geometry and K3 Surfaces

Download magma.maths.usyd.edu.au

Gavin Brown

claim paper

Read More »

« Prev « First page 92 / 571 Last » Next »