Search CORE

30 research outputs found

Bibliographie

Author
Publication venue
Publication date: 01/01/1992
Field of study

University of Szeged

Undecidable Properties of Finite Sets of Equations

Author: George F. McNulty
Publication venue: 'JSTOR'
Publication date
Field of study

Bibliographie

Author
Publication venue
Publication date: 01/01/1976
Field of study

University of Szeged

Acta Cybernetica : Volume 13. Number 4.

Author
Publication venue
Publication date: 01/01/1998
Field of study

University of Szeged

Acta Scientiarum Mathematicarum : Tomus 56. Fasc. 1-2.

Author
Publication venue
Publication date: 01/01/1992
Field of study

University of Szeged

Correctness theories and program equivalence : (preprint)

Author: Bergstra J.A. (Jan)
Tiuryn J.
Tucker J.V. (John)
Publication venue: Stichting Mathematisch Centrum
Publication date: 01/01/1979
Field of study

CWI's Institutional Repository

Acta Scientiarum Mathematicarum : Tomus 51. Fasc. 3-4.

Author
Publication venue
Publication date: 01/01/1987
Field of study

University of Szeged

Acta Scientiarum Mathematicarum : Tomus 46.

Author
Publication venue
Publication date: 01/01/1983
Field of study

University of Szeged

Recurrence relations in finite nilpotent groups

Author: Aydin Hueseyin
Publication venue
Publication date: 01/01/1991
Field of study

SIGLEAvailable from British Library Document Supply Centre- DSC:DX95789 / BLDSC - British Library Document Supply CentreGBUnited Kingdo

OpenGrey Repository

core

core