Sage Journals: Discover world-class research

Retricted access

Research article

First published 2018-12-19

Notions of semicomputability in topological algebras over the reals

Mark Armstrong, Jeffery Zucker

Computability

Retricted access

Research article

First published 1999-8

Algorithms for Rational Real Algebraic Curves

J. Rafael Sendra, Franz Winkler

Fundamenta Informaticae

Retricted access

Research article

First published 2013-2

On linear fuzzifications of groupoids with special emphasis on BCK-algebras

Jeong Soon Han, Hee Sik Kim, J. Neggers

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

Retricted access

Research article

First published 1973-12

Real roots of algebraic equations by hybrid computer simulation

Nguyen T. Chinh, Miguel A. Marin

SIMULATION

Retricted access

Research article

First published 2009-2

Testing Semantics for RTPA

Luis Llana, Manuel Núuñez

Fundamenta Informaticae

Retricted access

Research article

First published 2021-4-16

Bit complexity of computing solutions for symmetric hyperbolic systems of PDEs with guaranteed precision

Svetlana Selivanova, Victor Selivanov

Computability

Retricted access

Research article

First published 2009-8

Performance Evaluation of Distributed Systems Based on a Discrete Real- and Stochastic-Time Process Algebra

Jasen Markovski, Erik P. de Vink

Fundamenta Informaticae

Retricted access

Research article

First published 2007-11

Abstract Barycentric Algebras

Anna B. Romanowska, Jonathan D.H. Smith, Ewa Orłowska

Fundamenta Informaticae

Retricted access

Research article

First published 2002-5

Completeness of Timed μCRL

Michel Reniers, J.F Groote, M.B. van der Zwaag [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2023-12-21

Punctually presented structures I: Closure theorems

Marina Dorzhieva, Alexander Melnikov

Computability

Search results