Sciweavers

2853 search results - page 92 / 571

» On Coherence in Computer Algebra

112

ICCS
2009
Springer

87views Applied Computing» more ICCS 2009»

Relation Algebra Operations on Formal Contexts

15 years 10 months ago

Relation Algebra Operations on Formal Contexts

Download www.upriss.org.uk

Uta Priss

claim paper

Read More »

98

TAMC
2009
Springer

88views Applied Computing» more TAMC 2009»

Constraints, Graphs, Algebra, Logic, and Complexity

15 years 10 months ago

Constraints, Graphs, Algebra, Logic, and Complexity

Download www.cs.bgu.ac.il

Moshe Y. Vardi

claim paper

Read More »

89

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 9 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 »

98

AINA
2009
IEEE

66views Computer Networks» more AINA 2009»

Modelling Network Performance with a Spatial Stochastic Process Algebra

15 years 9 months ago

Modelling Network Performance with a Spatial Stochastic Process Algebra

Download www.cs.stir.ac.uk

Vashti Galpin

claim paper

Read More »

195

Voted

SNSC
2001
Springer

235views Applied Computing» more SNSC 2001»

Datagraphs in Algebraic Geometry and K3 Surfaces

15 years 8 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 »