Syntax-Guided Optimal Synthesis for Chemical Reaction Networks∗ ˇ ska3 Martin Fr¨anzle4 , Marta Kwiatkowska2 , Luca Cardelli1,2 , Milan Ceˇ 2 Luca Laurenti , Nicola Paoletti5 , and Max Whitby2

Source URL: qav.comlab.ox.ac.uk

• Mathematical analysis
• Mathematics
• Distribution
• Functional analysis
• Markov chain

Parametric Higher-Order Abstract Syntax for Mechanized Semantics Adam Chlipala Harvard University

Source URL: adam.chlipala.net

• Computer programming
• Declarative programming
• Software engineering
• Exponentials
• Dependently typed programming
• Higher-order abstract syntax
• Logic programming
• Programming language theory
• Type theory
• Exponentiation
• Monad
• ?:

[DSLDI14] Composable and Hygienic Typed Syntax Macros (TSMs) Cyrus Omar Chenglong (Stanley) Wang

Source URL: chenglongwang.org

• Software engineering
• Computing
• Computer programming
• APL programming language family
• Array programming languages
• High-level programming languages
• Source code
• Parser generators
• K
• Syntax
• Q
• Pure

What’s in Main Tobias Nipkow August 15, 2018 Abstract This document lists the main types, functions and syntax provided by theory Main. It is meant as a quick overview of what is available.

Source URL: www.cl.cam.ac.uk

What’s in Main Tobias Nipkow August 15, 2018 Abstract This document lists the main types, functions and syntax provided by theory Main. It is meant as a quick overview of what is available.

Source URL: isabelle.in.tum.de

Toward G-OWL: A graphical, polymorphic and typed syntax for building formal OWL2 ontologies Michel Héon Université du Québec à Montréal Montréal (Québec)

Source URL: gdac.uqam.ca

• Semantic Web
• Computing
• Information science
• World Wide Web Consortium
• Knowledge engineering
• Knowledge representation
• Technical communication
• Web Ontology Language
• Ontology
• Description logic
• Resource Description Framework
• RDF Schema

What’s in Main Tobias Nipkow August 15, 2018 Abstract This document lists the main types, functions and syntax provided by theory Main. It is meant as a quick overview of what is available.

Source URL: mirror.clarkson.edu

The 4th Competition on Syntax-Guided Synthesis Rajeev Alur, Dana Fisman, Rishabh Singh and Armando Solar-Lezama

Source URL: www.react.uni-saarland.de

• Theoretical computer science
• Mathematics
• Logic
• Synthesis
• Satisfiability modulo theories
• Symbol
• Expression

Proceedings of the 11th Space Syntax Symposium #78 CHARACTERIZING URBAN CENTRES Reading configuration as point, line, field

Source URL: www.11ssslisbon.pt

Formale Systeme Aussagenlogik: Syntax und Semantik Prof. Dr. Peter H. Schmitt ¨ T HEORETISCHE I NFORMATIK KIT – I NSTITUT F UR

Source URL: i12www.ira.uka.de