檢索結果 - functions computation programming recursion logic circuits

搜索替代詞:
computation programming » communication programming , computation programmatic , computing programming
functions computation » function computation , functions composition , function composition
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...”
獲取全文

電子電子書

縮小搜索