Skip to main content
Skip to main navigation menu
Skip to site footer
Open Menu
Revista de Informática Teórica e Aplicada
About
About the Journal
Submissions
Editorial Team
Privacy Statement
Author Guidelines
Current
Archives
Search
Login
Contact
Register
Login
Rauber Du Bois, André, Universidade Federal de Pelotas, Pelotas, Rio Grande do Sul, Brazil
Revista de Informática Teórica e Aplicada Vol. 27 No. 3 (2020)
- Regular Papers
A Mechanized Proof of a Textbook Type Unification Algorithm
Abstract
PDF
Make a Submission
Make a Submission
Tweets by @ritainfufrgs
Keywords
Most Read Articles
Tutorial: Introdução à Visão Computacional usando OpenCV
2038
Uma Introdução às Support Vector Machines
1075
A Gentle Introduction to Predictive Filters
866
Using the Myers-Briggs Type Indicator (MBTI) for Modeling Multiagent Systems
477
Um Olhar Sociotécnico sobre a Engenharia de Software
459
Information
For Readers
For Authors
For Librarians