Bindings, mobility of bindings, and the ▽-quantifier: An abstract

Dale Miller

doi:10.1007/978-3-540-30124-0_4

Bindings, mobility of bindings, and the ▽-quantifier: An abstract

Dale Miller

INRIA-Futurs and Xyleme

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Chapitre › Revue par des pairs

langue originale	Anglais
titre	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
rédacteurs en chef	Jerzy Marcinkowski, Andrzej Tarlecki
Editeur	Springer Verlag
Pages	24
Nombre de pages	1
ISBN (imprimé)	3540230246, 9783540230243
Les DOIs	https://doi.org/10.1007/978-3-540-30124-0_4
état	Publié - 1 janv. 2004
Modification externe	Oui

Série de publications

Nom	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	3210
ISSN (imprimé)	0302-9743
ISSN (Electronique)	1611-3349

Accès au document

10.1007/978-3-540-30124-0_4

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

Miller, D. (2004). Bindings, mobility of bindings, and the ▽-quantifier: An abstract. Dans J. Marcinkowski, & A. Tarlecki (eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (p. 24). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 3210). Springer Verlag. https://doi.org/10.1007/978-3-540-30124-0_4

Miller, Dale. / Bindings, mobility of bindings, and the ▽-quantifier : An abstract. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Editeur / Jerzy Marcinkowski ; Andrzej Tarlecki. Springer Verlag, 2004. p. 24 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inbook{c0f8dd2ff1464050996592dddc49a741,

title = "Bindings, mobility of bindings, and the ▽-quantifier: An abstract",

author = "Dale Miller",

year = "2004",

month = jan,

day = "1",

doi = "10.1007/978-3-540-30124-0\_4",

language = "English",

isbn = "3540230246",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "24",

editor = "Jerzy Marcinkowski and Andrzej Tarlecki",

booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

Miller, D 2004, Bindings, mobility of bindings, and the ▽-quantifier: An abstract. Dans J Marcinkowski & A Tarlecki (eds), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOL. 3210, Springer Verlag, p. 24. https://doi.org/10.1007/978-3-540-30124-0_4

Bindings, mobility of bindings, and the ▽-quantifier: An abstract. / Miller, Dale.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Ed. / Jerzy Marcinkowski; Andrzej Tarlecki. Springer Verlag, 2004. p. 24 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 3210).

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Chapitre › Revue par des pairs

TY - CHAP

T1 - Bindings, mobility of bindings, and the ▽-quantifier

T2 - An abstract

AU - Miller, Dale

PY - 2004/1/1

Y1 - 2004/1/1

UR - https://www.scopus.com/pages/publications/35048856556

U2 - 10.1007/978-3-540-30124-0_4

DO - 10.1007/978-3-540-30124-0_4

M3 - Chapter

AN - SCOPUS:35048856556

SN - 3540230246

SN - 9783540230243

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 24

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

A2 - Marcinkowski, Jerzy

A2 - Tarlecki, Andrzej

PB - Springer Verlag

ER -

Miller D. Bindings, mobility of bindings, and the ▽-quantifier: An abstract. Dans Marcinkowski J, Tarlecki A, rédacteurs en chef, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2004. p. 24. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-30124-0_4