Sage Journals: Discover world-class research

Retricted access

Research article

First published 2019

Algorithmic Completeness of Imperative Programming Languages

Yoann Marquer

Fundamenta Informaticae

Retricted access

Research article

First published 2022

On Completeness of Cost Metrics and Meta-Search Algorithms in $-Calculus

Eugene Eberbach

Fundamenta Informaticae

Retricted access

Research article

First published 1982

An Example of a Complete First-Order Theory with All Models Algorithmically Trivial but Without Locally Finite Models

Paweł Urzyczyn

Fundamenta Informaticae

Free access

Research article

First published 2007-3

A revised cost-benefit algorithm for solving the expediting completion time of end product problem with defective materials in the product structure diagram

Singa Wang Chiu, Chih-Chang Shih, Yuan-Shyi Peter Chiu

Proceedings of the Institution of Mechanical Engineers,Part B: Journal of Engineering Manufacture

Retricted access

Research article

First published 1999-6

An Algorithmic Approach to Multiple Complete Digest Mapping

Dan Fasulo, Tao Jiang, Richard M. Karp [...]

Journal of Computational Biology

Retricted access

Research article

First published 1998-11

A Complete Algorithm for Fixture Loading

Kyeonah Yu, Ken Y. Goldberg

The International Journal of Robotics Research

Retricted access

Research article

First published 2013-8

A Complete Generalization of Atkin's Square Root Algorithm

Armand Stefan Rotaru, Sorin Iftene

Fundamenta Informaticae

Retricted access

Research article

First published 2009-5

Algorithmic Correspondence and Completeness in Modal Logic. III. Extensions of the Algorithm SQEMA with Substitutions

Willem Conradie, Valentin Goranko, Dimiter Vakarelov

Fundamenta Informaticae

Retricted access

Other

First published 2005-11

A Simple Algorithm for Complete Motion Planning of Translating Polyhedral Robots

Gokul Varadhan, Shankar Krishnan, T. V.N. Sriram [...]

The International Journal of Robotics Research

Retricted access

Research article

First published 2018

A novel multi-objective PSO algorithm based on completion-checking

Rui Fan, Lixin Wei, Xin Li [...]

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

Search results