Texts and Monographs in Symbolic Computation - Advances in the Design of Symbolic Computation Systems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Vienna

9783211828441, 9783709165317

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Automated deduction by connection method in an object-oriented environment

Texts and Monographs in Symbolic Computation - Advances in the Design of Symbolic Computation Systems ◽

10.1007/978-3-7091-6531-7_14 ◽

1997 ◽

pp. 230-244

Author(s):

G. Cioni ◽

G. Patrizi ◽

M. Temperini

Keyword(s):

Object Oriented ◽

Automated Deduction ◽

Connection Method

Download Full-text

A sequent calculus machine for symbolic computation systems

Texts and Monographs in Symbolic Computation - Advances in the Design of Symbolic Computation Systems ◽

10.1007/978-3-7091-6531-7_13 ◽

1997 ◽

pp. 217-229 ◽

Cited By ~ 1

Author(s):

P. Bertoli ◽

G. Cioni ◽

A. Colagrossi ◽

P. Terlizzi

Keyword(s):

Symbolic Computation ◽

Sequent Calculus

Download Full-text

On subtyping in languages for symbolic computation systems

Texts and Monographs in Symbolic Computation - Advances in the Design of Symbolic Computation Systems ◽

10.1007/978-3-7091-6531-7_10 ◽

1997 ◽

pp. 164-178 ◽

Cited By ~ 2

Author(s):

P. Di Blasio ◽

M. Temperini

Keyword(s):

Symbolic Computation

Download Full-text

Enhanced strict inheritance in TASSO-L

Texts and Monographs in Symbolic Computation - Advances in the Design of Symbolic Computation Systems ◽

10.1007/978-3-7091-6531-7_11 ◽

1997 ◽

pp. 179-195 ◽

Cited By ~ 2

Author(s):

P. Di Blasio ◽

M. Temperini ◽

P. Terlizzi

Download Full-text

Mathematica: doing mathematics by computer?

Texts and Monographs in Symbolic Computation - Advances in the Design of Symbolic Computation Systems ◽

10.1007/978-3-7091-6531-7_1 ◽

1997 ◽

pp. 2-20 ◽

Cited By ~ 2

Author(s):

B. Buchberger

Download Full-text

p-adic arithmetic: a tool for error-free computations

Texts and Monographs in Symbolic Computation - Advances in the Design of Symbolic Computation Systems ◽

10.1007/978-3-7091-6531-7_4 ◽

1997 ◽

pp. 53-67 ◽

Cited By ~ 2

Author(s):

A. Colagrossi ◽

C. Limongelli ◽

A. Miola

Download Full-text

Deduction and abduction using a sequent calculus

Texts and Monographs in Symbolic Computation - Advances in the Design of Symbolic Computation Systems ◽

10.1007/978-3-7091-6531-7_12 ◽

1997 ◽

pp. 198-216 ◽

Cited By ~ 2

Author(s):

G. Cioni ◽

A. Colagrossi ◽

A. Miola

Keyword(s):

Sequent Calculus

Download Full-text

Equational specifications: design, implementation, and reasoning

Texts and Monographs in Symbolic Computation - Advances in the Design of Symbolic Computation Systems ◽

10.1007/978-3-7091-6531-7_8 ◽

1997 ◽

pp. 126-144 ◽

Cited By ~ 1

Author(s):

S. Antoy ◽

P. Forcheri ◽

J. Gannon ◽

M. T. Molfino

Keyword(s):

Equational Specifications

Download Full-text

On the algebraic specification of classes and inheritance in object-oriented programming

Texts and Monographs in Symbolic Computation - Advances in the Design of Symbolic Computation Systems ◽

10.1007/978-3-7091-6531-7_9 ◽

1997 ◽

pp. 145-163

Author(s):

F. Parisi-Presicce ◽

A. Pierantonio

Keyword(s):

Object Oriented ◽

Object Oriented Programming ◽

Algebraic Specification

Download Full-text

Indexes in sums and series: from formal definition to object-oriented implementation

Texts and Monographs in Symbolic Computation - Advances in the Design of Symbolic Computation Systems ◽

10.1007/978-3-7091-6531-7_7 ◽

1997 ◽

pp. 111-123

Author(s):

O. Caprotti

Keyword(s):

Object Oriented ◽

Formal Definition

Download Full-text

Texts and Monographs in Symbolic Computation - Advances in the Design of Symbolic Computation SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Vienna

Automated deduction by connection method in an object-oriented environment

A sequent calculus machine for symbolic computation systems

On subtyping in languages for symbolic computation systems

Enhanced strict inheritance in TASSO-L

Mathematica: doing mathematics by computer?

p-adic arithmetic: a tool for error-free computations

Deduction and abduction using a sequent calculus

Equational specifications: design, implementation, and reasoning

On the algebraic specification of classes and inheritance in object-oriented programming

Indexes in sums and series: from formal definition to object-oriented implementation

Texts and Monographs in Symbolic Computation - Advances in the Design of Symbolic Computation Systems
Latest Publications