Sage Journals: Discover world-class research

Retricted access

Research article

First published 2022

Nominal Unification and Matching of Higher Order Expressions with Recursive Let

Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy [...]

Fundamenta Informaticae

Retricted access

Research article

First published 1994-12

EXPRESSIBILITY OF THE SEMANTICS OF SEQUENTIAL PROGRAMS IN FIRST-ORDER LOGIC

Hardi Hungar

Fundamenta Informaticae

Retricted access

Research article

First published 1996-2

On the expressive power of ordered logic

Francesco Buccafurri, Nicola Leone, Francesco Scarcello

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2016-12

Analyzing the Effect of Express Orders on Supply Chain Costs and Delivery Times

Henning Olbert, Margarita Protopappa‐Sieke, Ulrich W. Thonemann

Production and Operations Management

Retricted access

Research article

First published 2010-6

Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees

Vince Bárány, Łukasz Kaiser, Alex Rabinovich

Fundamenta Informaticae

Retricted access

Research article

First published 2003-06

Discovering Local Structure in Gene Expression Data: The Order-Preserving Submatrix Problem

Amir Ben-Dor, Benny Chor, Richard Karp [...]

Journal of Computational Biology

Retricted access

Research article

First published 2011

General Newell Model and Related Second-Order Expressions

Hao Wang, Wei Wang, Jun Chen

Transportation Research Record: Journal of the Transportation Research Board

Retricted access

Research article

First published 2016

Constrained Expressions and their Derivatives

Jean-Marc Champarnaud, Ludovic Mignot, Florent Nicart

Fundamenta Informaticae

Retricted access

Research article

First published 1970-4

Birth Order and Perception of Facial Expressions

J. Robert Staffieri, John E. Bassett

Perceptual and Motor Skills

Retricted access

Research article

First published 2018-8-17

A human-factors engineering based design research for E-commerce express logistics sorting system

Xinyu Liu, Anquan Zou

International Journal of RF Technologies

Search results