SYMBOLIC DYNAMICS FOR THREE DIMENSIONAL FLOWS WITH POSITIVE TOPOLOGICAL ENTROPY YURI LIMA AND OMRI M. SARIG Abstract. We construct symbolic dynamics on sets of full measure (w.r.t. an ergodic measure of positive entropy)

Source URL: www.wisdom.weizmann.ac.il

A symbolic labelled transition system for coinductive subtyping of Fµ types Alan Jeffrey DePaul University Extended Abstract

Source URL: ect.bell-labs.com

• Type theory
• Object-oriented programming
• Polymorphism
• Subtyping
• Base
• Mathematics
• Structure

The Journal of Symbolic Logic Volume 00, Number 0, XXX 0000 FLAG ALGEBRAS ALEXANDER A. RAZBOROV

Source URL: www.mi.ras.ru

Symbolic Malleable Zero-knowledge Proofs Abstract Zero-knowledge (ZK) proofs have become a central building block for a variety of modern security protocols, e.g., as ZK-SNARKs in Pinocchio (IEEE S&Pand ADSNARK (

Source URL: www.infsec.cs.uni-saarland.de

Abstract Value Constructors Symbolic Constants for Standard ML William E. Aitken∗ John H. Reppy† TR

Source URL: people.cs.uchicago.edu

• Data types
• Type theory
• C++
• Method
• Functional languages
• Standard ML
• C++ classes
• Algebraic data type
• Enumerated type
• Const
• Template
• Nullary constructor

QUOTIENTS OF `∞ (Z, Z) AND SYMBOLIC COVERS OF TORAL AUTOMORPHISMS KLAUS SCHMIDT Dedicated to Anatole M. Vershik on the occasion of his 70th birthday Abstract. This note gives an account of the algebraic construction of

Source URL: www.mat.univie.ac.at

Symbolic Crosschecking of Floating-Point and SIMD Code Peter Collingbourne Cristian Cadar Paul H. J. Kelly

Source URL: www.doc.ic.ac.uk

SPECIAL ISSUE: IS FOR SYMBOLIC ACTION BEYOND BEING THERE: THE SYMBOLIC ROLE OF COMMUNICATION AND IDENTIFICATION IN PERCEPTIONS OF PROXIMITY TO GEOGRAPHICALLY DISPERSED COLLEAGUES1 Michael Boyer O’Leary

Source URL: www.cionet.com

Association for Symbolic Logic Business Office: Box 742, Vassar College 124 Raymond Avenue, Poughkeepsie, New York 12604, USA Fax: ; email: Web: http://www.aslonline.org

Source URL: www.aslonline.org

Symbolic Learning for Adaptive Agents Joshua Cole John Lloyd Kee Siong Ng

Source URL: users.cecs.anu.edu.au