Sage Journals: Discover world-class research

Retricted access

Research article

First published 1996-5

RANK 2 INTERSECTION TYPE ASSIGNMENT IN TERM REWRITING SYSTEMS

Steffen van Bakel

Fundamenta Informaticae

Retricted access

Research article

First published 2012-12

Intersection Types from a Proof-theoretic Perspective

Elaine Pimentel, Simona Ronchi Della Rocca, Luca Roversi

Fundamenta Informaticae

Retricted access

Research article

First published 2018-9

Determinants of legislative committee membership in proportional representation systems

Pedro Riera, Francisco Cantú

Party Politics

Retricted access

Research article

First published 2025-10

Joint optimization of multi-type component procurement and assignment problems with budget constraint

Siqi Qiu, Danhong Tu, Xinguo Ming

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Retricted access

Research article

First published 1993

Type Inference: Some Results,Some Problems 1

Paola Giannini, Furio Honsell, Simona Ronchi Della Rocca

Fundamenta Informaticae

Retricted access

Research article

First published 2012-12

Intersection Types and Termination Properties

George Koletsos

Fundamenta Informaticae

Retricted access

Research article

First published 2011-03

Towards Fully Automated Structure-Based NMR Resonance Assignment of 15 N-Labeled Proteins From Automatically Picked Peaks

Richard Jang, Xin Gao, Ming Li

Journal of Computational Biology

Retricted access

Research article

First published 1968-4

Manpower System Models in Personnel Allocation Research 1

Richard C. Sorenson

Human Factors: The Journal of the Human Factors and Ergonomics Society

Open access

Research article

First published 2020-5

An adaptive cooperation with reinforcement learning for robot soccer games

Chunyang Hu, Meng Xu, Kao-Shing Hwang

International Journal of Advanced Robotic Systems

Retricted access

Research article

First published 2012-12

Characterising Strongly Normalising Intuitionistic Terms

José Espírito Santo, Jelena Ivetić, Silvia Likavec

Fundamenta Informaticae

Search results