Travelled to:1 × Italy
1 × Latvia
1 × United Kingdom
Collaborated with:∅
Talks about:deduct (3) procedur (2) ftl (2) restrict (1) miniscop (1) fragment (1) sequent (1) clausal (1) tempor (1) system (1)
Person: Regimantas Pliuskevicius
DBLP: Pliuskevicius:Regimantas
Contributed to:
2001
2000
1994Wrote 3 papers:
- IJCAR-2001-Pliuskevicius
- Deduction-Based Decision Procedure for a Clausal Miniscoped Fragment of FTL (RP), pp. 107–120.
- CL-2000-Pliuskevicius #deduction #on the #strict
- On an ω-Decidable Deductive Procedure for Non-Horn Sequents of a Restricted FTL (RP), pp. 523–537.
- SEKE-1994-Pliuskevicius #deduction #specification
- Saturated deductive systems for temporal specifications (RP), pp. 267–273.