Tactic Links - Organic Traffic Booster - Home

Path: Home > List > Load (nguyentito.eu)

domain	nguyentito.eu
summary	Here's a summary of the website content: The website details research related to polynomial growth in tree automata, MSO set queries, and -calculi. Key activities include Baptiste Chanus’s PhD defense presentation on category-theoretic descriptive complexity, a workshop honoring Stefano Guerrini’s 60th birthday focusing on non-linear higher-order tree transducers, and a LambdaComb Days talk on the complexity of normalization in planar -terms. Recent work explores the TOWER-completeness of convertibility for -calculi (particularly safe -terms), demonstrating P-completeness for planar -terms and a joint effort with Das, Mazza, and Zeilberger. Slides from these presentations and discussions about the future of the GT Scalp conference are also available.
title	Tito's presence on the web
description	Lê Thành Dũng (Tito) Nguyễn's professional webpage: research in theoretical computer science
keywords	logic, automata, proof, have, slides, computer, work, science, complexity, transducers, research, theory, terms, regular, more, languages, paper
upstreams
downstreams
nslookup	A 78.192.88.164, A 82.65.41.110, A 45.81.62.36
created	2026-03-07
updated	2026-03-07
summarized	2026-03-08