Your search returned 7 results.

Sort
Results
Deducibility and decidability

by Gill, R.R. Rockingham | .

Series: Edition: Language: English Publication details: ; London : Routledge, 1990 ; 1990Availability: Items available for loan: 1 Call number: 16 Gil.

Reachability problems : 5th international workshop : proceedings, RP, Genoa, Italy, Sept. 28-30, 2011 (e-book)

by Delzanno, Giorgio [Editor] | Potapov, Igor [Editor].

Series: Lecture Notes in Computer Science (LNCS) ; v.6945 | LNCS Sublibrary : SL 1 – Theoretical computer science and general issues Language: English Publication details: Berlin Springer 2011Online access: Click here to access online Availability: Items available for reference: Not for loan (1) .

Reachability problems : 4th international workshop : proceedings, RP, Brno, Czech Republic, Aug. 28-29, 2010 (e-book)

by Kucera, Antonín [Editor] | Potapov, Igor [Editor].

Series: Lecture Notes in Computer Science (LNCS) ; v.6227 | LNCS Sublibrary: SL 1 – Theoretical Computer Science and General Issues Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) .

Reachability problems : 7th international workshop, RP 2013 : proceedings, Uppsala, Sweden, Sept. 24-26, 2013 (e-book)

by .

Series: Lecture notes in computer science ; v.8169Edition: Language: null Publication details: Berlin ; Springer ; 2013Online access: Click here to access online Availability: Items available for reference: Not for loan (1) .

Reachability problems : 9th international workshop, RP, proceedings, Warsaw, Poland, Sep. 21-23, 2015 (e-book)

by Bojanczyk, Mikolai [Editor] | Lasota, Slawomir [Editor] | Potapov, Igor [Editor].

Series: Lecture Notes in Computer Science (LNCS) ; v.9328 Language: English Publication details: Berlin Springer 2015Online access: Click here to access online Availability: Items available for reference: Online (1) .

Reachability problems : 8th international workshop, RP: proceedings, Oxford, UK, Sep. 22-24, 2014 (e-book)

by .

Series: Lecture notes in computer science ; 8762Edition: Language: null Publication details: Berlin ; Springer ; 2014Online access: Click here to access online Availability: Items available for reference: Online (1) .

Reachability problems : 10th international workshop, RP, proceedings, Aalborg, Denmark, Sept. 19-21, 2016 (e-book)

by Larsen, Kim Guldstrand [Editor] | Potapov, Igor [Editor] | Potapov, Igor [Editor].

Series: Lecture Notes in Computer Science (LNCS) ; v.9899 Language: English Publication details: Berlin Springer 2016Online access: Click here to access online Availability: Items available for reference: Online (1) .

Pages

Powered by Koha