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

INRIA-Futurs and Xyleme

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

Original language	English
Title of host publication	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Editors	Jerzy Marcinkowski, Andrzej Tarlecki
Publisher	Springer Verlag
Pages	24
Number of pages	1
ISBN (Print)	3540230246, 9783540230243
DOIs	https://doi.org/10.1007/978-3-540-30124-0_4
Publication status	Published - 1 Jan 2004
Externally published	Yes

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	3210
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

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

Cite this

Miller, D. (2004). Bindings, mobility of bindings, and the ▽-quantifier: An abstract. In J. Marcinkowski, & A. Tarlecki (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 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). editor / Jerzy Marcinkowski ; Andrzej Tarlecki. Springer Verlag, 2004. pp. 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. in 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, pp. 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).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

TY - CHAP

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

T2 - An abstract

AU - Miller, Dale

PY - 2004/1/1

Y1 - 2004/1/1

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. In Marcinkowski J, Tarlecki A, editors, 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