Work

Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus

Year: 2012

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-642-27375-9_10

Authors: Florent Jacquemard, Étienne Lozes, Ralf Treinen, Jules Villard

Institutions: École Normale Supérieure Paris-Saclay, Centre National de la Recherche Scientifique, Institut national de recherche en sciences et technologies du numérique, RWTH Aachen University, Laboratory Preuves, Programmes et Systèmes, Université Paris Diderot, Queen Mary University of London

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W975773914

FWCI:

Cites: 30

Cited by: 1

Related to: 10