TY  - JOUR

T1  - Term-generic logic

JO  - Theoretical Computer Science

UR  - http://dx.doi.org/10.1016/j.tcs.2015.01.047

PY  - 2015/01/01

AU  - Popescu A

AU  - Roşu G

ED  - 

DO  - DOI: 10.1016/j.tcs.2015.01.047

PB  - Elsevier BV

VL  - 577

SP  - 1

EP  - 24

Y2  - 2024/09/19

ER  -