Higher-Order and Symbolic: Editorial

Narciso Martí-Oliet; Grigore Roşu; Carolyn Talcott

doi:10.1007/s10990-007-9005-1

Higher-Order and Symbolic: Editorial

Narciso Martí-Oliet, Grigore Roşu, Carolyn Talcott

Research output: Contribution to journal › Editorial › peer-review

Original language	English (US)
Pages (from-to)	1-2
Number of pages	2
Journal	Higher-Order and Symbolic Computation
Volume	20
Issue number	1-2
DOIs	https://doi.org/10.1007/s10990-007-9005-1
State	Published - Jun 2007

ASJC Scopus subject areas

Software
Computer Science Applications

Online availability

10.1007/s10990-007-9005-1

Library availability

Discover UIUC Full Text

Cite this

@article{3e538b25e842494195fe79fbc0ce10ef,

title = "Higher-Order and Symbolic: Editorial",

author = "Narciso Mart{\'i}-Oliet and Grigore Ro{\c s}u and Carolyn Talcott",

year = "2007",

month = jun,

doi = "10.1007/s10990-007-9005-1",

language = "English (US)",

volume = "20",

pages = "1--2",

journal = "Higher-Order and Symbolic Computation",

issn = "1388-3690",

publisher = "Springer Netherlands",

number = "1-2",

}

TY - JOUR

T1 - Higher-Order and Symbolic

T2 - Editorial

AU - Martí-Oliet, Narciso

AU - Roşu, Grigore

AU - Talcott, Carolyn

PY - 2007/6

Y1 - 2007/6

UR - http://www.scopus.com/inward/record.url?scp=34047234444&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=34047234444&partnerID=8YFLogxK

U2 - 10.1007/s10990-007-9005-1

DO - 10.1007/s10990-007-9005-1

M3 - Editorial

AN - SCOPUS:34047234444

SN - 1388-3690

VL - 20

SP - 1

EP - 2

JO - Higher-Order and Symbolic Computation

JF - Higher-Order and Symbolic Computation

IS - 1-2

ER -

Higher-Order and Symbolic: Editorial

ASJC Scopus subject areas

Online availability

Library availability

Related links

Cite this