A. Yu. Baryshnikov, A. B. Livchak, “The languages ${\rm PQL}$ and ${\rm FO}+{\rm LFP}$ are equivalent even without the presence of order”, Izv. Vyssh. Uchebn. Zaved. Mat., 1996, Number 4,Pages 18

JOURNALS // Izvestiya Vysshikh Uchebnykh Zavedenii. Matematika // Archive

Izv. Vyssh. Uchebn. Zaved. Mat., 1996 Number 4, Pages 18–23 (Mi ivm1566)

The languages ${\rm PQL}$ and ${\rm FO}+{\rm LFP}$ are equivalent even without the presence of order

A. Yu. Baryshnikov, A. B. Livchak

Ural State University

UDC: 519.682

Received: 26.09.1994

Fulltext: PDF file (428 kB)

English version: Russian Mathematics (Izvestiya VUZ. Matematika), 1996, 40:4, 16–21

Bibliographic databases: