You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (251)

Journals (0)

1-10 of 251 results for algebraic specification

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: The Algebraic Specifications do not have the Tennenbaum Property

Free access

Research article

First published 1996-11

The Algebraic Specifications do not have the Tennenbaum Property

Grazyna Mirkowska, Andrzej Salwicki

Fundamenta Informaticae

Select article: Specification and Integration of Theorem Provers and Computer Algebra Systems

Retricted access

Research article

First published 1999-8

Specification and Integration of Theorem Provers and Computer Algebra Systems

P.G. Bertoli, J. Calmet, F. Giunchiglia [...]

Fundamenta Informaticae

Select article: Algebraic Framework for the Specification and Analysis of Cryptographic-Key Distribution

Retricted access

Research article

First published 2011-10

Algebraic Framework for the Specification and Analysis of Cryptographic-Key Distribution

Khair Eddin Sabri, Ridha Khedri

Fundamenta Informaticae

Select article: Process Algebras for Network Communication

Retricted access

Research article

First published 2001-4

Process Algebras for Network Communication

Damas P. Gruska, Andrea Maggiolo-Schettini

Fundamenta Informaticae

Select article: Domain-General and Domain-Specific Antecedents of Pre-Algebraic Knowledge: Focusing on English-Language Learners With Word-Problem Difficulty

Retricted access

Research article

First published 2025-11

Domain-General and Domain-Specific Antecedents of Pre-Algebraic Knowledge: Focusing on English-Language Learners With Word-Problem Difficulty

Xin Lin, Sarah R. Powell

Journal of Learning Disabilities

Select article: A Method for Synthesizing Algebras from Their Specification

Retricted access

Research article

First published 1984

A Method for Synthesizing Algebras from Their Specification

Klaus P. Jantke

Fundamenta Informaticae

Select article: PSF - A Retrospective

Retricted access

Research article

First published 2010-6

PSF - A Retrospective

Gerrit Jan Veltink

Fundamenta Informaticae

Select article: On the Relationships among four Timed Process Algebras

Retricted access

Research article

First published 1999-7

On the Relationships among four Timed Process Algebras

Flavio Corradini, Domenicantonio D'Ortenzio, Paola Inverardi

Fundamenta Informaticae

Select article: Institution-independent Ultraproducts

Retricted access

Research article

First published 2003-6

Institution-independent Ultraproducts

Răzvan Diaconescu

Fundamenta Informaticae

Select article: Application-tailored linear algebra algorithms

Retricted access

Research article

First published 2013-11

Application-tailored linear algebra algorithms

Diego Fabregat-Traver, Paolo Bientinesi

The International Journal of High Performance Computing Applications

1
2
3
•••
26
10 / page

Article type

Publication date

Subjects

Access