"Anjolina G. de Oliveira" appeared in Books and Chapters

Click here to donate your five minutes and submit the table of contents of a book.

Search from the table of contents of 2.5 million books

Advanced Search (Beta)

Home > Anjolina G. de Oliveira

"Anjolina G. de Oliveira" appeared in Books and Chapters

entries per page

Filter:

Showing 1 to 1 of 1 entry

Book	Author(s)	Year	Publisher
Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings	Valeria de Paiva; Ruy de Queiroz; Lawrence S. Moss; Daniel Leivant; Anjolina G. de Oliveira	2015	Springer Berlin Heidelberg
Boook	Author(s)	Year	Publisher

Showing 1 to 1 of 1 entry

«
‹
1
›
»

entries per page

Filter:

Showing 1 to 3 of 3 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Natural Deduction for Equality: The Missing Entity	Ruy J. G. B. de Queiroz; Anjolina G. de Oliveira	Advances in Natural Deduction: A Celebration of Dag Prawitz' s Work	Luiz Carlos Pereira; Edward Hermann Haeusler; Valeria de Paiva	2014	Springer Netherlands
Geometry of Deduction Via Graphs of Proofs	Anjolina Grisi de Oliveira; Ruy J. G. B. de Queiroz	Logic for Concurrency and Synchronisation	R.J. De Queiroz	2003	Springer Netherlands
Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization	Gleifer V. Alves; Anjolina G. de Oliveira; Ruy de Queiroz	Logic, Language, Information and Computation: 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009, Proceedings	Hiroakira Ono; Makoto Kanazawa; Ruy de Queiroz	2009	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 3 of 3 entries

«
‹
1
›
»