Sage Journals: Discover world-class research

1-10 of 2322 results for strong normalization

Sort by:

Relevance

Select allExport selected citations

Sort by:

Relevance

Open access

Research article

First published 2019-10

Strong Normalization for Truth Table Natural Deduction

Herman Geuvers, Iris van der Giessen, Tonny Hurkens

Fundamenta Informaticae

Retricted access

Research article

First published 2008

A Term Assignment for Polarized Bi-intuitionistic Logic and its Strong Normalization

Corrado Biasi, Federico Aschieri

Fundamenta Informaticae

Retricted access

Research article

First published 1963-12

Comparison of Strong Vocational Interest Patterns of Schizophrenics and Normals

Arthur Fein, Leonard Lipton, Charles F. Elton

Psychological Reports

Retricted access

Research article

First published 2007

Arithmetical Proofs of Strong Normalization Results for Symmetric λ-calculi

René David, Karim Nour

Fundamenta Informaticae

Retricted access

Research article

First published 2012-12

Strong Normalization in the π-calculus with Intersection and Union Types

Mauro Piccolo

Fundamenta Informaticae

Retricted access

Research article

First published 1995

A CLASSIFICATION THEORY OF SEMANTICS OF NORMAL LOGIC PROGRAMS: I. STRONG PROPERTIES

Jürgen Dix

Fundamenta Informaticae

Retricted access

Research article

First published 2016-3

Effect of three-size too large strong stocking on venous hemodynamics in normal subjects

K Suehiro, N Morikage, M Murakami [...]

Phlebology: The Journal of Venous Disease

Retricted access

Research article

First published 2008

Fuzzy congruence of hypergroups

R. Ameri

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

Retricted access

Research article

First published 2019-10

The Duality of Classical Intersection and Union Types

Paul Downen, Zena M. Ariola, Silvia Ghilezan

Fundamenta Informaticae

Retricted access

Research article

First published 2020

Filter theory of pseudo equality algebras

Meng Ke Liu, Xiao Long Xin

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

Search results