About us
International Board
Supporting Libraries
User Guide
Contact
Search
Login
Repository
Recent Publications
Serials
People
Submit reference
Calendar
Conferences
Call for Papers
My Events
Submit Event
Resources
Blogs
Reinach
Center for Subjectivity Research
CEP Louvain
et al.
Grupo Husserl
Husserl Archives Leuven
NASEP Blog
Phenomenology in Education
Rustik
Scuola di Milano
WW1 and Philosophy
Links
Derrida's Margins
Husserl Page
Phenomenology Lab
Roman Ingarden Digital Archive
Walter Benjamin Digital
Repository
|
People
References
Guillaume Burel
Bibliography
1
Export
Completion is an instance of abstract canonical system inference
2006
with
Kirchner Claude
in: Algebra, meaning, and computation, Dordrecht : Springer
Order by
↓
↑
abc
Filter
All
Books
Edited Books
Articles
Language
All
english/english
Period
All
2000-2009
Style
Default
APA
Français
Harvard
Clear filters
