Sage Journals: Discover world-class research

Retricted access

Research article

First published 1981

A Logically Justified Model of Computation I

Pierangelo Miglioli, Mario Ornaghi

Fundamenta Informaticae

Retricted access

Research article

First published 2008-11

Mechanized reasoning in Homological Algebra

Jesús Aransay

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 1977

Algorithmic logic and its applications in the theory of programs I

Grażyna Mirkowska

Fundamenta Informaticae

Retricted access

Research article

First published 1995-12

A Simplified Proof of the NP- and MAX SNP-Hardness of Multiple Sequence Tree Alignment

H. TODD Wareham

Journal of Computational Biology

Retricted access

Research article

First published 1981

Logic of Effective Definitions

Jerzy Tiuryn

Fundamenta Informaticae

Retricted access

Research article

First published 2010-7

Balancing local resources and global goals in multiply-constrained DCOP 1

Emma Bowring, Milind Tambe, Makoto Yokoo

Multiagent and Grid Systems

Retricted access

Research article

First published 2023-9

A sampling and learning framework to prove motion planning infeasibility

Sihui Li, Neil T. Dantam

The International Journal of Robotics Research

Retricted access

Research article

First published 2013-3-1

Parallel Dovetailing and its Application to Depth-First Proof-Number Search

Kunihito Hoki, Tomoyuki Kaneko, Akihiro Kishimoto [...]

ICGA Journal: The Journal of the Computer Games Community

Open access

Research article

First published 2012-1

The Complexity of the Minimum Sensor Cover Problem with Unit-Disk Sensing Regions over a Connected Monitored Region

Ren-Song Ko

International Journal of Distributed Sensor Networks

Retricted access

Research article

First published 2021

Complexity Assessments for Decidable Fragments of Set Theory. I: A Taxonomy for the Boolean Case *

Domenico Cantone, Andrea De Domenico, Pietro Maugeri [...]

Fundamenta Informaticae

Search results