Výsledky vyhledávání - "Theory of computation Semantics and reasoning Program semantics"

FIXED-POINT THEOREMS FOR NON-TRANSITIVE RELATIONS.

Autoři: DUBUT, JÉRÉMY AKIHISA YAMADA

Zdroj: Logical Methods in Computer Science (LMCS); 2022, Vol. 18 Issue 1, p1-24, 24p

Témata: EXISTENCE theorems, LATTICE theory

A SORTED SEMANTIC FRAMEWORK FOR APPLIED PROCESS CALCULI.

Autoři: BORGSTRÖM, JOHANNES GUTKOVAS, RAMŪNAS PARROW, JOACHIM a další

Zdroj: Logical Methods in Computer Science (LMCS); 2016, Vol. 12 Issue 1, p1-49, 49p

Témata: CALCULUS, SEMANTICS, PATTERN matching, DATA encryption, ISOMORPHISM (Mathematics), BISIMULATION

WEAK TOPOLOGIES FOR LINEAR LOGIC.

Autoři: KERJEAN, MARIE

Zdroj: Logical Methods in Computer Science (LMCS); 2016, Vol. 12 Issue 1, p1-28, 28p

Témata: VECTOR topology, NEGATION (Logic), CONTINUOUS functions, MATHEMATICAL sequences, ORTHOGONAL functions

WEAK UPPER TOPOLOGIES AND DUALITY FOR CONES.

Autoři: KEIMEL, KLAUS

Zdroj: Logical Methods in Computer Science (LMCS); 2015, Vol. 11 Issue 3, p1-14, 14p

Témata: CONES, ALGORITHMS, MATHEMATICAL analysis, MATHEMATICAL functions, MATHEMATICAL models

BIALGEBRAIC SEMANTICS FOR LOGIC PROGRAMMING.

Autoři: BONCHI, FILIPPO ZANASI, FABIO

Zdroj: Logical Methods in Computer Science (LMCS); 2015, Vol. 11 Issue 1, p1-47, 47p

Témata: SYNCHRONIZATION, ALGEBRA, COMPUTATIONAL complexity, MATHEMATICAL models, LOGIC programming

MONADS NEED NOT BE ENDOFUNCTORS.

Autoři: ALTENKIRCH, THORSTEN CHAPMAN, JAMES UUSTALU, TARMO

Zdroj: Logical Methods in Computer Science (LMCS); 2015, Vol. 11 Issue 1, p1-40, 40p

Témata: MONADS (Mathematics), MATHEMATICAL functions, VECTOR spaces, MATHEMATICAL models, ADJUNCTION theory

A HOARE LOGIC FOR THE COINDUCTIVE TRACE-BASED BIG-STEP SEMANTICS OF WHILE.

Autoři: NAKATA, KEIKO UUSTALU, TARMO

Zdroj: Logical Methods in Computer Science (LMCS); 2015, Vol. 11 Issue 1, p1-32, 32p

Témata: HOARE logic, SEMANTICS, COMPUTER programming, DIVERGENCE theorem, MATHEMATICAL proofs

PROGRAM LOGICS FOR HOMOGENEOUS GENERATIVE RUN-TIME META-PROGRAMMING.

Autoři: BERGER, MARTIN TRATT, LAURENCE

Zdroj: Logical Methods in Computer Science (LMCS); 2015, Vol. 11 Issue 1, p1-50, 50p

Témata: COMPUTER programming, HOMOGENEOUS polynomials, MATHEMATICAL formulas, DERIVATIVES (Mathematics), MATHEMATICAL models

PERMISSION-BASED SEPARATION LOGIC FOR MULTITHREADED JAVA PROGRAMS.

Autoři: AMIGHI, AFSHIN HAACK, CHRISTIAN HUISMAN, MARIEKE a další

Zdroj: Logical Methods in Computer Science (LMCS); 2015, Vol. 11 Issue 1, p1-66, 66p

Témata: SEPARATION (Technology), THREADS (Computer programs), JAVA programming language, PROGRAMMING languages, MATHEMATICAL models

WHEN IS A CONTAINER A COMONAD?

Autoři: AHMAN, DANEL CHAPMAN, JAMES UUSTALU, TARMO

Zdroj: Logical Methods in Computer Science (LMCS); 2014, Vol. 10 Issue 3, p1-48, 48p

Témata: PROGRAMMING languages, DATA structures, TREE graphs, PARAMETERS (Statistics), ABSTRACT data types (Computer science), PROBLEM solving

CORECURSIVE ALGEBRAS, CORECURSIVE MONADS AND BLOOM MONADS.

Autoři: ADÁMEK, JIRÍ HADDADI, MAHDIE MILIUS, STEFAN

Zdroj: Logical Methods in Computer Science (LMCS); 2014, Vol. 10 Issue 3, p1-51, 51p

Témata: HOMOMORPHISMS, MONADS (Mathematics), ITERATIVE methods (Mathematics), EILENBERG-Moore spectral sequences, FREE algebras

A LINEAR CATEGORY OF POLYNOMIAL FUNCTORS (EXTENSIONAL PART).

Autoři: HYVERNAT, PIERRE

Zdroj: Logical Methods in Computer Science (LMCS); 2014, Vol. 10 Issue 2, p1-23, 23p

Témata: LINEAR systems, POLYNOMIALS, EXTENSION (Logic), SIMULATION methods & models, MATHEMATICAL convolutions, MATHEMATICAL category theory

NOMINAL COALGEBRAIC DATA TYPES WITH APPLICATIONS TO LAMBDA CALCULUS.

Autoři: KURZ, ALEXANDER PETRIŞAN, DANIELA SEVERI, PAULA a další

Zdroj: Logical Methods in Computer Science (LMCS); 2013, Vol. 9 Issue 4, p1-52, 52p

Témata: NOMINALISM, DATA analysis, LAMBDA calculus, SET theory, INFINITY (Mathematics), RECURSION theory

STEP-INDEXED RELATIONAL REASONING FOR COUNTABLE NONDETERMINISM.

Autoři: BIRKEDAL, LARS BIZJAK, ALEŠ SCHWINGHAMMER, JAN

Zdroj: Logical Methods in Computer Science (LMCS); 2013, Vol. 9 Issue 4, p1-22, 22p

Témata: FUNCTIONAL programming languages, LAMBDA calculus, SEMANTICS, MATHEMATICAL models, LOGIC, COMPUTER simulation

CARTESIAN CLOSED 2-CATEGORIES AND PERMUTATION EQUIVALENCE IN HIGHER-ORDER REWRITING.

Autoři: HIRSCHOWITZ, TOM

Zdroj: Logical Methods in Computer Science (LMCS); 2013, Vol. 9 Issue 3, p1-22, 22p

Témata: ANALYTIC geometry, MATHEMATICAL category theory, PERMUTATIONS, SEMANTICS, MATHEMATICAL proofs, LAMBDA calculus

INDEXED INDUCTION AND COINDUCTION, FIBRATIONALLY.

Autoři: GHANI, NEIL JOHANN, PATRICIA FUMEX, CLÉMENT

Zdroj: Logical Methods in Computer Science (LMCS); 2013, Vol. 9 Issue 3, p1-31, 31p

Témata: MATHEMATICAL induction, COINDUCTION (Mathematics), POLYNOMIALS, MATHEMATICAL category theory, DATA analysis