Manuscript - PDFSEARCH.IO - Document Search Engine

Manuscript
Results: 7361

#	Item
11	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Self-Formalisation of Higher-Order Logic Semantics, Soundness, and a Verified Implementation Ramana Kumar · Rob Arthan · Add to Reading List Source URL: cakeml.org Language: English - Date: 2015-12-16 14:53:21 Mathematical logic Mathematics Logic Logic in computer science Proof assistants Model theory Proof theory Foundations of mathematics ZermeloFraenkel set theory HOL Gdel's completeness theorem Gdel's incompleteness theorems
12	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) PRISM-games: Verification and Strategy Synthesis for Stochastic Multi-player Games with Multiple Objectives Marta Kwiatkowska1 , Davi Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-10-06 04:04:07 Markov processes Game theory Strategy Stochastic game Markov decision process Probability and statistics Probability Computability theory
13	River Publishers Guidelines for Authors Submitting a Journal Paper Preparing your manuscript Please use these guidelines to ensure that your manuscript is complete prior to submission of your article. Add to Reading List Source URL: www.riverpublishers.com Language: English - Date: 2017-08-09 03:35:35 Academic publishing Knowledge Publishing Human behavior Intellectual property law Grey literature Manuscript Writing Electronic submission Copyright
14	Theory of Computing Systems manuscript No. (will be inserted by the editor) Self-stabilizing Byzantine Clock Synchronization with Optimal Precision Pankaj Khanchandani · Christoph Lenzen Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2018-09-02 17:25:13 Electrical engineering Network flow problem Clock synchronization Clocks Synchronization Distributed computing Clock skew Time-Triggered Protocol Distributed algorithm Flow network Physics Electromagnetism
15	The Poetry Business 2019 International Book & Pamphlet Competition: Entry Form Complete and return this form, with your manuscript and a cheque for your entry fee, by Friday 1st March 2019 to: The Competition Administrat Add to Reading List Source URL: www.poetrybusiness.co.uk Language: English - Date: 2018-10-01 09:48:33 Economy Banking Cheque Numismatics Pamphlet Poetry Society
16	Formal Methods in System Design manuscript No. (will be inserted by the editor) Inferring Event Stream Abstractions Sean Kauffman · Klaus Havelund · Rajeev Joshi · Sebastian Fischmeister Add to Reading List Source URL: rjoshi.org Language: English - Date: 2018-01-10 13:23:57 Arithmetic Interval Bracket
17	Natural Computing manuscript No. (will be inserted by the editor) Spatial P Systems Roberto Barbuti · Andrea Maggiolo-Schettini · Paolo Milazzo · Giovanni Pardini · Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:15 Models of computation Mathematics Membrane technology Theoretical computer science Chemistry Membrane computing P system Multiset Canonical form Matrix Natural computing Membrane
18	Formal Methods in System Design manuscript No. (will be inserted by the editor) Automatic Verification of Competitive Stochastic Systems Taolue Chen · Vojtˇ Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2013-10-04 14:46:58 Mathematics Temporal logic Mathematical analysis Theoretical computer science Linear temporal logic Mathematical logic Formal languages Computation tree logic Constructible universe Markov decision process Well-formed formula IP
19	River Publishers Guidelines for Authors Submitting a Journal Paper Preparing your manuscript Please use these guidelines to ensure that your manuscript is complete prior to submission of your article. Add to Reading List Source URL: www.riverpublishers.com Language: English - Date: 2017-08-09 03:35:36 Academic publishing Knowledge Publishing Human behavior Intellectual property law Grey literature Manuscript Writing Electronic submission Copyright Book
20	Software Quality Journal manuscript No. (will be inserted by the editor) Automated Testing of DSL Implementations Experiences from Building mbeddr Daniel Ratiu · Markus Voelter · Add to Reading List Source URL: mbeddr.com Language: English - Date: 2018-08-02 04:06:51 Software engineering Computing Computer programming Language workbench High-level programming languages Domain-specific language JetBrains MPS JetBrains Red Interpreter Structure editor Declarative programming