UU - PDFSEARCH.IO - Document Search Engine

UU
Results: 9000

#	Item
21	Resource Monitoring for Poly/ML Processes David Matthews Tjark Weber Magnus Stenqvist Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2015-09-07 07:51:22 Computing Software engineering Computer programming Functional languages Procedural programming languages Standard ML ML Garbage collection Poly JFreeChart
22	Introduction Background, Theory Validating Squolem’s Certificates in HOL4 Evaluation Conclusions Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2010-07-08 14:32:41 Logic Mathematical logic Mathematics Boolean algebra Complexity classes Metalogic Model theory True quantified Boolean formula Satisfiability FO PSPACE-complete Well-formed formula
23	Introduction Applications SMT Solver Use Algorithms Conclusion Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2012-01-21 06:40:38 Theoretical computer science Logic in computer science Formal methods Mathematics Electronic design automation NP-complete problems Satisfiability modulo theories Boolean satisfiability problem Solver Formal verification Model checking SMT
24	Scrambling and Descrambling SMT-LIB Benchmarks Tjark Weber Uppsala University, Sweden Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2016-07-01 09:29:03 Computer programming Declarative programming Theoretical computer science Logic in computer science Cryptography Satellite broadcasting Scrambler Telecommunications equipment Satisfiability modulo theories Scrambling Monad Benchmark
25	Introduction Background, Theory Validating Squolem’s Certificates in HOL4 Evaluation Conclusions Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2010-06-01 10:39:41 Logic Mathematical logic Mathematics Boolean algebra Complexity classes Metalogic Model theory True quantified Boolean formula Satisfiability FO PSPACE-complete Well-formed formula
26	Towards Mechanized Program Verification with Separation Logic Tjark Weber Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2005-09-13 07:35:48 Mathematical logic Logic in computer science Theoretical computer science Substructural logic Logic Separation logic Constructible universe Ordinal number Computability theory Proof theory
27	Introduction Finite Model Generation Extensions and Optimizations Case Studies Integration of Proof-Producing SAT Solvers Conclusion Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2008-10-09 08:41:17 Mathematical logic Logic Boolean algebra Mathematics Classical logic Propositional calculus Model theory
28	Towards Conflict-Driven Learning for Virtual Substitution SMT Workshop ˇ Marek Kosta (joint work K. Korovin and T. Sturm) Add to Reading List Source URL: smt2014.it.uu.se Language: English - Date: 2014-07-18 18:47:15 Mathematical analysis Logic Theoretical computer science Automated theorem proving Logic programming Conflict-driven clause learning E Calculus Substitution Exponential function
29	A Generic Process Calculus Approach to Relaxed-Memory Consistency Palle Raabjerg Tjark Weber Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2015-05-22 10:50:40 Process calculi Theoretical computer science Process calculus Mathematics -calculus Calculus Lambda calculus Computer science Actor model and process calculi history Join-calculus
30	Integrating zChaff with Isabelle/HOL A Fast Decision Procedure for Propositional Logic Tjark Weber Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2005-09-13 07:36:04 Proof assistants Logic in computer science Theoretical computer science HOL Logic programming Isabelle Constructible universe

UPDATE