检索结果 - functions computational programming recursion logic circuits

搜索替代词:
computational programming » computation programming , computational program , computing programming
functions computational » functions computation , function computation , directions computational
programming recursion » programming decision , programming session , programming decisions
recursion logic » decision logic , recursive logical

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings /

出版 2007

书本目录: “... -- On Finitely Recursive Programs -- Minimal Logic Programs -- Generic Tableaux for Answer Set Programming...”
获取全文

电子电子书

Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings /

出版 2007

书本目录: “...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...”
获取全文

电子电子书

Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky Essays...

出版 2013

书本目录: “... -- Continuous Domain Theory in Logical Form -- Presheaf Models of Quantum Computation: An Outline -- Nothing Can...”
获取全文

电子电子书

Modelling Computing Systems Mathematics for Computer Science /

由 Moller, Faron., Moller, Faron., Struth, Georg.
出版 2013

书本目录: “... Algebras and Circuits -- Predicate Logic -- Proof Strategies -- Functions -- Relations -- Inductive...”
获取全文

电子电子书

Machines, Computations, and Universality 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers /

出版 2005

书本目录: “... -- On the Complexity of Universal Programs -- Finite Sets of Words and Computing -- Universality and Cellular Automata...”
获取全文

电子电子书

Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings /

出版 2005

书本目录: “...Invited Papers -- On the Correctness of Operating System Kernels -- Alpha-Structural Recursion...”
获取全文

电子电子书

Theoretical Computer Science 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings /

出版 2005

书本目录: “... and Recursive Types Logically -- The Language ?: Circuits, Computations and Classical Logic -- Checking Risky...”
获取全文

电子电子书

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /

出版 2008

书本目录: “..., and Regular Expression Size -- Leftist Grammars Are Non-primitive Recursive -- On the Computational...”
获取全文

电子电子书

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I /

出版 2008

书本目录: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
获取全文

电子电子书

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

出版 2014

书本目录: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
获取全文

电子电子书

Discrete Mathematics Using a Computer

由 O'Donnell, John., O'Donnell, John., Hall, Cordelia., Page, Rex.
出版 2006

书本目录: “...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...”
获取全文

电子电子书

Fundamentals of Computation Theory 15th International Symposium, FCT 2005, Lübeck, Gemany, August 17-20, 2005, Proceedings /

出版 2005

书本目录: “... Analysis of Algorithms -- Path Coupling Using Stopping Times -- Circuits -- On the Incompressibility...”
获取全文

电子电子书

Tests and Proofs 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings /

出版 2010

书本目录: “... and Test Generation for C Program Debugging -- Generating High-Quality Tests for Boolean Circuits...”
获取全文

电子电子书

Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings /

出版 2005

书本目录: “... Computing -- Interactive Algorithms 2005 -- Some Computational Issues in Membrane Computing...”
获取全文

电子电子书

Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings /

出版 2012

书本目录: “... in Parameterized Algorithmics -- Scott Is Always Simple -- Simple Models for Recursive Schemes -- Unordered...”
获取全文

电子电子书

Computer Science -- Theory and Applications First International Symposium on Computer Science...

出版 2006

书本目录: “... Result -- Incremental Branching Programs -- Logic of Proofs for Bounded Arithmetic -- On a Maximal NFA...”
获取全文

电子电子书

Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings /

出版 2006

书本目录: “... -- Predicate Abstraction of Programs with Non-linear Computation -- A Fresh Look at Testing for Asynchronous...”
获取全文

电子电子书

缩小搜索