Concepedia

Fer-Jan de Vries

FD

6

Publications

131

Citations

6

H-Index

1992

Active since

Affiliations

Centrum Wiskunde & Informatica(Current)

University of Leicester

Fer-Jan de Vries is an author at Centrum Wiskunde & Informatica specializing in automated reasoning, formal verification, and computer science.

Top concepts

Automated ReasoningEngineeringFormal MethodsComputer ScienceFormal VerificationLanguageReasoningSemanticsLinguisticsVerification

Publications per year

1992–2013

6

Publications

6

Dynamic interpretation and hoare deduction

Jan van Eijck, Fer-Jan de Vries · Journal of Logic Language and Information · 1992 · 41 citations

Formal Semantics, Dynamic Interpretation, Automated Reasoning +5

Comparing Curried and Uncurried Rewriting

Richard Kennaway, Jan Willem Klop, Ronan Sleep et al. · Journal of Symbolic Computation · 1996 · 35 citations

Refinement Technique, Engineering, Uncurried Rewriting +6

Nominal Coalgebraic Data Types with Applications to Lambda Calculus

Alexander Kurz, Daniela Petrişan, Paula Severi et al. · Logical Methods in Computer Science · 2013 · 21 citations · Full text

Algebraic Logic, Domain Theory, Infinitary Lambda Calculus +7

Infinitary lambda calculus and discrimination of Berarducci trees

Mariangiola Dezani-Ciancaglini, Paula Severi, Fer-Jan de Vries · Theoretical Computer Science · 2003 · 13 citations

Tree Language, Tree Automaton, Lambda Calculus +1

Weakening the Axiom of Overlap in Infinitary Lambda Calculus

Paula Severi, Fer-Jan de Vries · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2011 · 11 citations · Full text

Rows per page

1–5 of 6