Jump to Navigation
MEALS
Mobility between Europe and Argentina applying Logics to Systems
User menu
Login
You are here
Home
›
Publications
Filters:
Author
is
Amy P. Felty
[Clear All Filters]
2015
P. Chocron
,
P. Fontaine
, and
C. Ringeissen
, “
A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited
”, in
Proc. Conference on Automated Deduction (CADE)
, 2015.
DOI
Google Scholar
BibTex
Main menu
Home
Work Packages
Partners & People
Announcements
Publications
Deliverables
Contents
Home
Work Packages
Partners & People
Announcements
Publications
Authors
WP1
WP2
WP3
WP4
WP5
Deliverables
