Sage Journals: Discover world-class research

Retricted access

Research article

First published 2009-3

Proving loop termination: Beyond the traditional method

Tennyson X. Chen, Martin D. Meyer

Journal of Computational Methods in Sciences and Engineering

Open access

Research article

First published 2009-2

Solving Partial Order Constraints for LPO Termination

Michael Codish, Vitaly Lagoon, Peter J. Stuckey

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 1995-8

TERMINATION OF TERM REWRITING BY SEMANTIC LABELLING

H. Zantema

Fundamenta Informaticae

Retricted access

Research article

First published 1997-9

Laparoscopic Termination of Pregnancy

Harout Margossian, Lorene Ligouri, Donald M. Zarou

Journal of Gynecologic Surgery

Free access

Abstract

First published 1981-4

Uptake of horseradish peroxidase by presynaptic terminals of bipolar cells and photoreceptors of the from retina.

J A Evans, L Liscum, D C Hood [...]

Journal of Histochemistry & Cytochemistry

Retricted access

Research article

First published 1995-8

ABSTRACT RELATIONS BETWEEN RESTRICTED TERMINATION AND CONFLUENCE PROPERTIES OF REWRITE SYSTEMS

Bernhard Gramlich

Fundamenta Informaticae

Retricted access

Research article

First published 2015-10

A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic

Alessandro Avellone, Camillo Fiorentini, Alberto Momigliano

Fundamenta Informaticae

Retricted access

Research article

First published 2005-12

Complicity in Suicide

Alec Samuels

The Journal of Criminal Law

Retricted access

Research article

First published 2018-12

Joint Deployment of Quay Cranes and Yard Cranes in Container Terminals at a Tactical Level

Lingxiao Wu, Shuaian Wang

Transportation Research Record: Journal of the Transportation Research Board

Retricted access

Research article

First published 1995-8

REGULAR TREE LANGUAGES AND REWRITE SYSTEMS

Rémy Gilleron, Sophie Tison

Fundamenta Informaticae

Search results