Proceedings of the KI 2015 Workshop on Formal and Cognitive Reasoning On the Functional Completeness of Argumentation Semantics� Massimiliano Giacomin1 , Thomas Linsbichler2 , and Stefan Woltran2 1

Source URL: ceur-ws.org

Symplectic spreads, planar functions and mutually unbiased bases

Source URL: www.math.uni-magdeburg.de

• Linear algebra
• Mathematics
• Mutually unbiased bases
• Quantum information theory
• Functional analysis
• Quantum mechanics
• Symplectic
• Orthonormal basis
• Hilbert space
• Completeness
• Space

Verification-Cases: Characterizing the Completeness Degree of Incomplete Verification for C Programs Towards Using Formal Verification for Low Criticality Functions Daniel Ratiu Vincent Nimal

Source URL: mbeddr.com

• Software engineering
• Theoretical computer science
• Formal methods
• Systems engineering
• Software
• Logic in computer science
• Software testing
• Formal verification
• Functional verification
• Verification and validation
• Verification
• Model checking

Logical- and Meta-Logical Frameworks Lecture 3 Carsten Sch¨ urmann August 9, 2006

Source URL: www.itu.dk

• Mathematical logic
• Programming language theory
• Dependently typed programming
• Twelf
• Logical framework
• Boolean algebra
• Propositional calculus
• Specific Area Message Encoding
• Functional completeness
• Logic in computer science
• Theoretical computer science
• Type theory

The University of Birmingham School of Computer Science Operational Domain Theory and Topology of Sequential Functional Languages

Source URL: www.cs.bham.ac.uk

• Mathematics
• Applied mathematics
• Denotational semantics
• Order theory
• Operational semantics
• Domain theory
• Semantics of programming languages
• Topology
• Completeness
• Theoretical computer science
• Logic in computer science
• Programming language semantics

Inspection Checklist for Software Requirements Specifications Organization and Completeness Are all internal cross-references to other requirements correct?

Source URL: apps.adcom.uci.edu

• Requirement
• Functional requirement
• Software Requirements Specification
• Traceability
• Non-functional requirement
• Requirements analysis
• Requirement prioritization
• Software development
• Software requirements
• Software

(April 24, [removed]Completeness and quasi-completeness Paul Garrett [removed] http://www.math.umn.edu/egarrett/

Source URL: www.math.umn.edu

• Functional analysis
• Topological vector spaces
• Linear algebra
• Mathematical structures
• Locally convex topological vector space
• Vector space
• Hahn–Banach theorem
• Bounded set
• Hilbert space
• Mathematics
• Algebra
• Topology

Extreme Markup Languages[removed]Montréal, Québec

Source URL: tcl.sfs.uni-tuebingen.de

• Computability theory
• Theory of computation
• Markup languages
• Functional languages
• Recursion
• XQuery
• XSLT
• XML transformation language
• Turing completeness
• Computing
• Computer programming
• Software engineering

A Proof of the Turing-completeness of XSLT and XQuery Stephan Kepser

Source URL: tcl.sfs.uni-tuebingen.de

• Computability theory
• Functional languages
• Recursion
• Subroutines
• Theoretical computer science
• XQuery
• XSLT
• Primitive recursive function
• Stack
• Computing
• Computer programming
• Software engineering

PDF Document

Source URL: www.cs.nott.ac.uk

• Computer science
• Functional languages
• Automata theory
• Hume
• Finite-state machine
• State
• Turing completeness
• Computability
• Programming language
• Models of computation
• Software engineering
• Computing