Formal - PDFSEARCH.IO - Document Search Engine

Formal
Results: 16566

#	Item
1	Alignment-based Translations Across Formal Systems Using Interface Theories Dennis M¨uller Colin Rothgang Add to Reading List Source URL: pxtp.github.io Language: English - Date: 2017-09-19 19:50:55 Logic Mathematical logic Abstraction Formal languages Syntax Formal systems Proof assistants Type theory Metamath Formal proof Theory OMDoc
2	A Formal C Memory Model Supporting Integer-Pointer Casts Jeehoon Kang Chung-Kil Hur ∗ Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2018-01-15 14:25:42 Software engineering C++ Computing Computer programming Pointer Const Undefined behavior C dynamic memory allocation Data type Optimizing compiler C++11 Stack
3	Alloy as an Introduction to Formal Methods Add to Reading List Source URL: alloytools.org - Date: 2018-06-13 06:07:43
4	Description Logics ILCS 2007 Introduction to Logic in Computer Science: Autumn 2007 Add to Reading List Source URL: formal.iti.kit.edu Language: English - Date: 2016-07-22 17:55:15 Logic Non-classical logic Mathematical logic Metaphysics Philosophical logic Artificial intelligence Description logic Information science Model theory Modal logic First-order logic Web Ontology Language
5	Formale Systeme II: Theorie SS 2016 Prof. Dr. Bernhard Beckert · Dr. Mattias Ulbrich Slides by courtesy of Andr´e Platzer, CMU Add to Reading List Source URL: formal.iti.kit.edu Language: English - Date: 2016-06-13 15:35:57
6	Voting Theory AAAI-2010 Voting Procedures and their Properties Add to Reading List Source URL: formal.iti.kit.edu Language: English - Date: 2016-07-22 17:04:25 Single-winner electoral systems Political philosophy Voting Politics Elections Electoral systems Social choice theory Psephology Condorcet criterion Borda count Plurality voting Condorcet paradox
7	Formal Derivation of Concurrent Garbage Collectors Dusko Pavlovic1 , Peter Pepper2 , and Douglas R. Smith1 1 2 Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:24:03 Computing Memory management Knowledge representation Mutator Garbage collection Garbage Connectivity Tree Tracing garbage collection
8	Experimental Biological Protocols with Formal Semantics Alessandro Abate2 , Luca Cardelli1,2 , Marta Kwiatkowska2 , Luca Laurenti2 , and Boyan Yordanov1 1 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2018-06-22 10:21:17 Mathematics Mathematical analysis Theoretical computer science Distribution Functional analysis Substitution Denotational semantics Markov chain
9	Integrated Formal Methods Add to Reading List Source URL: link.springer.com Language: English - Date: 2017-09-10 19:06:48 Culture in Berlin Education in Berlin Institute for Media and Communication Policy Bernhard Steffen Stochastic process States of Germany Germany
10	Formal moduli problems and formal derived stacks Damien Calaque and Julien Grivaux To the memory of Jean-Louis Koszul A mathematician, like a painter or a poet, is a maker of patterns. If his patterns are more permanent Add to Reading List Source URL: jgrivaux.perso.math.cnrs.fr Language: English - Date: 2018-02-24 07:36:18 Algebra Abstract algebra Mathematics Algebraic geometry Category theory Differential algebra Algebras Algebraic structures Differential graded Lie algebra Deformation theory Associative algebra F-algebra