Sage Journals: Discover world-class research

Retricted access

Research article

First published 2007-10

On First-Order Fragments for Mazurkiewicz Traces

Volker Diekert, Martin Horsch, Manfred Kufleitner

Fundamenta Informaticae

Retricted access

Research article

First published 2008-3

First-Order Ground Non-Monotonic Modal Logic

Benjamin Grimberg, Michael Kaminski

Fundamenta Informaticae

Retricted access

Research article

First published 2005-11

First-Order Logical Neural Networks

Boonserm Kijsirikul, Thanupol Lerdlamnaochai

International Journal of Hybrid Intelligent Systems

Retricted access

Research article

First published 2013-8

A Resolution Calculus for First-order Schemata

Vincent Aravantinos, Mnacho Echenim, Nicolas Peltier

Fundamenta Informaticae

Open access

Research article

First published 2011-6

Sensitivity to First- and Second-Order Drifting Gratings in 3-Month-Old Infants

Vickie Armstrong, Daphne Maurer, Dave Ellemberg [...]

i-Perception

Retricted access

Research article

First published 2019-6

An accuracy analysis method for first-order reliability method

Zhenzhong Chen, Zihao Wu, Xiaoke Li [...]

Proceedings of the Institution of Mechanical Engineers,Part C: Journal of Mechanical Engineering Science

Retricted access

Research article

First published 2006-11

Evaluation of First-Order,Second-Order,and Surface-Limiting Reactions in Anaerobic Hydrolysis of Cattle Manure

M. Myint, N. Nirmalakhandan

Environmental Engineering Science

Free access

Other

First published 2009-1-1

Automatic Verification for Secrecy of Cryptographic Protocols in First-Order Logic

Jihong Han, Zhiyong Zhou, Yadi Wang

International Journal of Distributed Sensor Networks

Open access

Research article

First published 2025-1

When one logic is not enough: Integrating first-order annotations in OWL ontologies

Simon Flügel, Martin Glauer, Fabian Neuhaus [...]

Semantic Web: – Interoperability,Usability,Applicability

Retricted access

Research article

First published 2015-3

A simple first order compensator for brushless direct current drive based position control system

Chandramouleeswaran Ganesh, Sanjib Kumar Patnaik

Journal of Vibration and Control

Search results