Насыщенное исчисление для хорновских секвенций полной линейной темпоральной логики первого порядка
Zapiski naucnych seminarov POMI (1995)
- Volume: 220, Issue: 1, page 123-144
Access Full Article
top
How to cite
topПлюшкявичюс, Р.. "Насыщенное исчисление для хорновских секвенций полной линейной темпоральной логики первого порядка." Zapiski naucnych seminarov POMI 220.1 (1995): 123-144. <http://eudml.org/doc/68553>.
@article{Плюшкявичюс1995,
author = {Плюшкявичюс, Р.},
journal = {Zapiski naucnych seminarov POMI},
keywords = {saturated calculus; Horn-like sequents; linear temporal logic; inductive reasoning; decidability},
language = {rus},
number = {1},
pages = {123-144},
publisher = {Nauka},
title = {Насыщенное исчисление для хорновских секвенций полной линейной темпоральной логики первого порядка},
url = {http://eudml.org/doc/68553},
volume = {220},
year = {1995},
}
TY - JOUR
AU - Плюшкявичюс, Р.
TI - Насыщенное исчисление для хорновских секвенций полной линейной темпоральной логики первого порядка
JO - Zapiski naucnych seminarov POMI
PY - 1995
PB - Nauka
VL - 220
IS - 1
SP - 123
EP - 144
LA - rus
KW - saturated calculus; Horn-like sequents; linear temporal logic; inductive reasoning; decidability
UR - http://eudml.org/doc/68553
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.