Sage Journals: Discover world-class research

Retricted access

Research article

First published 2004-7

Located Actions in Process Algebra with Timing

Jan A. Bergstra, Cornelis A. Middelburg

Fundamenta Informaticae

Retricted access

Research article

First published 1997-9

A Concurrent Functional Semantics for a Process Algebra Based on Action Systems

Ugo Montanari, Gioia Ristori

Fundamenta Informaticae

Retricted access

Research article

First published 2002-11

Process Algebra with Nonstandard Timing

Kees A. Middelburg

Fundamenta Informaticae

Retricted access

Research article

First published 2019-11-22

Constructing (pre)norms in BL -algebras and its action on topological BL -algebras

R.A. Borzooei, Hee Sik Kim, N. Kouhestani

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2008-12

Productive Strategies for Raising Student Achievement in Algebra

Sergio Flores, William Roberts

NASSP Bulletin

Retricted access

Research article

First published 2007-7

An Infinitary Sequent System for the Equational Theory of *-continuous Action Lattices

Ewa Palka

Fundamenta Informaticae

Retricted access

Research article

First published 2005-11

On Finite Model Property of the Equational Theory of Kleene Algebras

Ewa Palka

Fundamenta Informaticae

Retricted access

Research article

First published 2017-10

Adapting Perception,Action,and Technology for Mathematical Reasoning

Robert L. Goldstone, Tyler Marghetis, Erik Weitnauer [...]

Current Directions in Psychological Science

Free access

Research article

First published 2005-8

One Digital Signature Scheme in Semimodule over Semiring

Eligijus Sakalauskas

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2008-1

Embedding Event Algebras and Process for ECA Rules for the Semantic Web

Erik Behrends, Oliver Fritzen, Wolfgang May [...]

Fundamenta Informaticae

Search results