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
, 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
2025
Uma Introdução às Support Vector Machines
1074
A Gentle Introduction to Predictive Filters
862
Using the Myers-Briggs Type Indicator (MBTI) for Modeling Multiagent Systems
468
Um Olhar Sociotécnico sobre a Engenharia de Software
457
Information
For Readers
For Authors
For Librarians