Skip to content
cs-conference-ranking.org

Regimantas Pliuskevicius

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

11

Venues

7

Active years

1990–2001

Best venue rank

B

Where they publish

Papers

11 indexed papers, newest first.

YearVenueTitleAuthors
2001CADEDeduction-Based Decision Procedure for a Clausal Miniscoped Fragment of FTL.Regimantas Pliuskevicius
1996JELIASimilarity Saturation for First Order Linear Temporal Logic with UNLESS.Regimantas Pliuskevicius
1996MFCSOn Saturation with Flexible Function Symbols.Regimantas Pliuskevicius
1994LFCSOn Specialization of Derivations in Axiomatic Equality Theories.Aida Pliuskeviciene, Regimantas Pliuskevicius, Michal Walicki, Sigurd Meldal
1994SEKESaturated deductive systems for temporal specifications.Regimantas Pliuskevicius
1993MFCSOn Saturated Calculi for a Linear Temporal Logic.Regimantas Pliuskevicius
1992JELIADesign Complete Sequential Calculus for Continuous Fixpoint Temporal Logic.Regimantas Pliuskevicius
1992LFCSComplete Sequential Calculi for the First Order Symmetrical Linear Temporal Logic with Until and Since.Regimantas Pliuskevicius
1992TABLEAUXThe Analityc Tableaux for Linear Temporal Logic.Regimantas Pliuskevicius
1991LPARLogical Foundation for Logic Programming Based on First Order Linear Temporal Logic.Regimantas Pliuskevicius
1990MFCSInvestigation of Finitary Calculi for the Temporal Logics by Means of Infinitary Calculi.Regimantas Pliuskevicius