Industrial Applications of ASF+SDF Mark van den Brand,1 Arie van Deursen,2 Paul Klint,1 2 Steven Klusener,2 4 and Emma van der Meulen3 1 University of Amsterdam, Kruislaan 403, 1098 SJ Amsterdam

Source URL: www.st.ewi.tudelft.nl

SHIPYARD REGULATIONS OFFICE III. APPLICATION FOR DISBURSEMENT OF SDF Pre-Approval 1. Letter of Application (stating the purpose of use)

Source URL: www.marina.gov.ph

The Journal of Symbolic Logic Volume 75, Number 1, March 2010 ON TAO’S “FINITARY” INFINITE PIGEONHOLE PRINCIPLE JAIME GASPAR AND ULRICH KOHLENBACH

Source URL: jg.sdf.org

• Mathematical analysis
• Mathematics
• Analysis
• IP
• Characteristic function
• Uniform boundedness principle
• Operator theory
• Banach spaces
• Compact operator on Hilbert space
• Algebraic number field

Notre Dame Journal of Formal Logic Volume 50, Number 1, 2009 Factorization of the Shoenfield-like Bounded Functional Interpretation Jaime Gaspar

Source URL: jg.sdf.org

• Mathematics
• Mathematical logic
• Logic
• Logic in computer science
• Constructible universe
• Peano axioms
• Factorization
• Algebraic logic
• Dialectica interpretation
• Combinatory logic

o; a}+sdf k|zf;g ;]jftkm{sf] ;xfos lgb]{zs -clws[t t[tLo_ kb;+Vof 25 -lj!fkg g+= 1=1÷2072 b]lv 1=6÷2072_ tyf k|zf;g ;]jftkm{sf] ;xfos lgb]{zs CA/CPA/ACCA -clws[t t[tLo_ kb;+Vof 6 -lj!fkg g+= 2=1÷2072 b]lv 2=4÷2072_ s

Source URL: nrb.org.np

SDF 2.1_06_art_Tay+Hudson.qxd:24 AM

Source URL: www.christinamcphee.net

TNO 2012 R11146 BIC SDF slidebook 1 - Waardeketen analyse v1.0

Source URL: www.smartdairyfarming.nl

Beaches of islands of tractability: Algorithms for parsimony and minimum perfect phylogeny haplotyping problems Leo van Iersel1, Judith Keijsper1, Steven Kelk2, Leen Stougie12 (1) Technische Universiteit Eindhoven (TU/e)

Source URL: skelk.sdf-eu.org

ON THE COMPLEXITY OF THE SINGLE INDIVIDUAL SNP HAPLOTYPING PROBLEM 1 On the Complexity of the Single Individual SNP Haplotyping Problem

Source URL: skelk.sdf-eu.org

Fusing a Transformation Language with an Open Compiler Karl Trygve Kalleberg 1 Department of Informatics, University of Bergen, P.O. Box 7800, N-5020 BERGEN, Norway

Source URL: www.ii.uib.no

• Programming language implementation
• Compiler construction
• Transformation languages
• Stratego/XT
• ASF+SDF Meta Environment
• Compiler
• Program transformation
• Type system
• Stratego
• Computing
• Software engineering
• Programming language theory