Search results for "decidability" | NDL Search

Search results 25

Group by title

Reachability problems : 8th international workshop, RP 2014 : Oxford, UK, September 22-24, 2014 : proceedings : Sep 2014, Oxford, UK. (Lecture Notes in Computer Science ; 8762)

Paper図書

Springer[2014]<M17-15-1645>

National Diet Library

Subject Heading...n--Congresses. Decidability (Mathematical ......-Verification. Decidability (Mathematical logic)

Reachability problems : 9th international workshop, RP 2015 : Warsaw, Poland, September 21-23, 2015 : proceedings : Sep 2015, Warsaw, Poland. (Lecture Notes in Computer Science ; 9328)

Paper図書

Springer[2015]<M17-16-755>

National Diet Library

Subject Heading...n--Congresses. Decidability (Mathematical logic)--Congres...

Reachability problems : 7th international workshop, RP 2013 : Uppsala, Sweden, September 24-26, 2013 : proceedings : Sep 2013, Uppsala, Sweden. (Lecture Notes in Computer Science ; 8169)

Paper図書

Springerc2013.<M17-14-716>

National Diet Library

Subject Heading...n--Congresses. Decidability (Mathematical logic)--Congres...

Reachability problems : 3rd international workshop, RP 2009 : Palaiseau, France, September 23-25, 2009 : proceedings. : annual LIX fall colloquium : Sep 2009, Palaiseau, France. (Lecture Notes in Computer Science ; 5797)

Paper図書

Springerc2009.<M17-10-1253>

National Diet Library

Subject Heading...-- Congresses. Decidability (Mathematical logic) -- Congr...

Reachability problems : 5th international workshop, RP 2011 : Genoa, Italy, September 28-30, 2011 : proceedings : Sep 2011, Genoa, Italy. (Lecture Notes in Computer Science ; 6945)

Paper図書

Springerc2011.<M17-12-1236>

National Diet Library

Subject Heading...n--Congresses. Decidability (Mathematical logic)--Congres...

Reachability problems : 15th International Conference, RP 2021, Liverpool, UK, October 25-27, 2021 : proceedings

Paper図書

Paul C. Bell, Patrick Totzke, Igor Potapov (eds.)Springerc2021

Other Libraries in Japan

Subject HeadingComputer systems -- Congresses Decidability (Mathematical logic) -- Congr...
Subject Heading (ID)Computer systems -- Congresses Decidability (Mathematical logic) -- Congr...

Reachability problems : 14th International Conference, RP 2020, Paris, France, October 19-21, 2020 : proceedings

Paper図書

Sylvain Schmitz, Igor Potapov (eds.)Springerc2020

Other Libraries in Japan

Subject HeadingComputer systems -- Congresses Decidability (Mathematical logic) -- Congr...
Subject Heading (ID)Computer systems -- Congresses Decidability (Mathematical logic) -- Congr...

Induction, bounding, weak combinatorial principles, and the homogeneous model theorem

Paper図書

Denis R. Hirschfeldt, Karen Lange, Richard A. ShoreAmerican Mathematical Society2017

Other Libraries in Japan

Subject HeadingReverse mathematics Computable functions Decidability (Mathematical logic)
Subject Heading (ID)Reverse mathematics Computable functions Decidability (Mathematical logic)

Reachability problems : 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022 : proceedings

Paper図書

Anthony W. Lin, Georg Zetzsche, Igor Potapov (eds.)Springerc2022

Other Libraries in Japan

Subject Heading... -- Congresses Decidability (Mathematical logic) -- Congr...
Subject Heading (ID)... -- Congresses Decidability (Mathematical logic) -- Congr...

UXデザインのためのユーザ満足度の評価構造に関する研究

Digital博士論文障害者向け資料あり

土井, 彩容子2021-03-15

Available onlineNational Diet LibraryOther Libraries in Japan

KATの完全性定理と項の還元可能性の決定可能性

Digital博士論文

浦本, 武雄京都大学 (Kyoto University)2014-03-24

Available onlineOther Libraries in Japan

Subject HeadingKleene algebra with tests completeness theorem decidability regular language syntactic se...
Alternative TitleA Modified Completeness Theorem of KAT and Decidability of Term Reducibility
Alternative TitleA Modified Completeness Theorem of KAT and Decidability of Term Reducibility

Decidability and generalized quantifiers / von Andreas Baudisch ... [et al.]. (Mathematical research = Mathematische Forschung ; Bd. 3)

Paper図書

Akademie-Verlag1980.<MA41-163>

National Diet Library

Subject HeadingDecidability (Mathematical logic) Predicat...

Thinking about acting : logical foundations for rational decision making

Paper図書

John L. PollockOxford University Press2006

Other Libraries in Japan

Subject HeadingStatistical decision Decidability (Mathematical logic) Probabil...
Subject Heading (ID)Statistical decision Decidability (Mathematical logic) Probabil...

Reachability problems : 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings

Paper図書

Olivier Bournez, Igor Potapov (eds.)Springerc2009

Other Libraries in Japan

Subject Heading... -- Congresses Decidability (Mathematical logic) -- Congr...
Subject Heading (ID)... -- Congresses Decidability (Mathematical logic) -- Congr...

A decidable subclass of term rewriting systems which effectively preserve recognizability

Digital博士論文

高井, 利憲Nara Institute of Science and Technology2002-03-22

Other Libraries in Japan

Subject Headingterm rewriting system tree automation decidability recognizability strongly norm...

Decision problems for equational theories of relation algebras

Paper図書

Hajnal Andréka, Steven Givant, István NémetiAmerican Mathematical Society1997

Other Libraries in Japan

Subject HeadingRelation algebras Decidability (Mathematical logic)
Subject Heading (ID)Relation algebras Decidability (Mathematical logic)

The classical decision problem : gw

Paper図書

Egon Börger, Erich Grädel, Yuri GurevichSpringerc1997

Other Libraries in Japan

Subject HeadingDecidability (Mathematical logic)
Subject Heading (ID)Decidability (Mathematical logic)

Recursive functions and metamathematics : problems of completeness and decidability, Gödel's theorems

Paper図書

Roman MurawskiKluwer Academic Publishersc1999

Other Libraries in Japan

Subject HeadingRecursive functions Decidability (Mathematical logic) Gödel's ...
Subject Heading (ID)Recursive functions Decidability (Mathematical logic) Gödel's ...

Countable Boolean algebras and decidability

Paper図書

Sergei S. GoncharovConsultants Bureauc1997

Other Libraries in Japan

Subject HeadingAlgebra, Boolean Decidability (Mathematical logic)
Subject Heading (ID)Algebra, Boolean Decidability (Mathematical logic)

Cornerstones of undecidability

Paper図書

Grzegorz Rozenberg and Arto SalomaaPrentice Hall1994

Other Libraries in Japan

Subject HeadingUnsolvability (Mathematical logic) Decidability (Mathematical logic)
Subject Heading (ID)Unsolvability (Mathematical logic) Decidability (Mathematical logic)

RSS