Connecting you to content on EBSCOhost

Works matching IS 09601295 AND DT 2017 AND VI 27 AND IP 3

Results: 5

1

Ordered combinatory algebras and realizability.

Published in:

Mathematical Structures in Computer Science, 2017, v. 27, n. 3, p. 428, doi. 10.1017/S0960129515000432

By:

SANTOS, WALTER FERRER;
FREY, JONAS;
GUILLERMO, MAURICIO;
MALHERBE, OCTAVIO;
MIQUEL, ALEXANDRE

Publication type:

Article

2

Lambda theories allowing terms with a finite number of fixed points.

Published in:

Mathematical Structures in Computer Science, 2017, v. 27, n. 3, p. 405, doi. 10.1017/S0960129515000419

By:

INTRIGILA, BENEDETTO;
STATMAN, RICHARD

Publication type:

Article

3

Many-one reductions and the category of multivalued functions.

Published in:

Mathematical Structures in Computer Science, 2017, v. 27, n. 3, p. 376, doi. 10.1017/S0960129515000262

By:

PAULY, ARNO

Publication type:

Article

4

A rewriting framework and logic for activities subject to regulations.

Published in:

Mathematical Structures in Computer Science, 2017, v. 27, n. 3, p. 332, doi. 10.1017/S096012951500016X

By:

KANOVICH, MAX;
BAN KIRIGIN, TAJANA;
NIGAM, VIVEK;
SCEDROV, ANDRE;
TALCOTT, CAROLYN;
PEROVIC, RANKO

Publication type:

Article

5

Generalizations of the distributed Deutsch–Jozsa promise problem.

Published in:

Mathematical Structures in Computer Science, 2017, v. 27, n. 3, p. 311, doi. 10.1017/S0960129515000158

By:

GRUSKA, JOZEF;
QIU, DAOWEN;
ZHENG, SHENGGEN

Publication type:

Article