Canlyniadau Chwilio - functions computing programming recursion logical circuits

Chwilio eraill:
programming recursion » programming decision , programming session , programming decisions
computing programming » computer programming , computers programming
functions computing » function computing , functions combining , functions computer
recursion logical » recursive logical , execution logical
logical circuits » logic circuits , biological circuits , cortical circuits

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

Cyhoeddwyd 2007

Tabl Cynhwysion: “... -- On Finitely Recursive Programs -- Minimal Logic Programs -- Generic Tableaux for Answer Set Programming...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2007

Tabl Cynhwysion: “...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2013

Tabl Cynhwysion: “... -- Continuous Domain Theory in Logical Form -- Presheaf Models of Quantum Computation: An Outline -- Nothing Can...”
Cael y testun llawn

Electronig eLyfr

Modelling Computing Systems Mathematics for Computer Science /

gan Moller, Faron., Moller, Faron., Struth, Georg.
Cyhoeddwyd 2013

Tabl Cynhwysion: “... Algebras and Circuits -- Predicate Logic -- Proof Strategies -- Functions -- Relations -- Inductive...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... -- On the Complexity of Universal Programs -- Finite Sets of Words and Computing -- Universality and Cellular Automata...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “...Invited Papers -- On the Correctness of Operating System Kernels -- Alpha-Structural Recursion...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... and Recursive Types Logically -- The Language ?: Circuits, Computations and Classical Logic -- Checking Risky...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “..., and Regular Expression Size -- Leftist Grammars Are Non-primitive Recursive -- On the Computational...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2014

Tabl Cynhwysion: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Cael y testun llawn

Electronig eLyfr

Discrete Mathematics Using a Computer

gan O'Donnell, John., O'Donnell, John., Hall, Cordelia., Page, Rex.
Cyhoeddwyd 2006

Tabl Cynhwysion: “...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Analysis of Algorithms -- Path Coupling Using Stopping Times -- Circuits -- On the Incompressibility...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “... and Test Generation for C Program Debugging -- Generating High-Quality Tests for Boolean Circuits...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Computing -- Interactive Algorithms 2005 -- Some Computational Issues in Membrane Computing...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2012

Tabl Cynhwysion: “... in Parameterized Algorithmics -- Scott Is Always Simple -- Simple Models for Recursive Schemes -- Unordered...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Result -- Incremental Branching Programs -- Logic of Proofs for Bounded Arithmetic -- On a Maximal NFA...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2006

Tabl Cynhwysion: “... -- Predicate Abstraction of Programs with Non-linear Computation -- A Fresh Look at Testing for Asynchronous...”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad