Marco Benini

Book on Constructive Linguistics

The book on Constructive Linguistics I wrote with Federico Gobbo is now available on the publisher’s site. Here the details: Constructive Adpositional Grammars: Foundations of Constructive Linguistics Author: Federico Gobbo … Continue reading

July 13, 2011 · Leave a comment

A few notes on balanced trees

In the last project of the course “Algoritmi and Strutture Dati”, there was a problem requiring to find all the points containing some objects in a square of given width … Continue reading

May 3, 2011 · Leave a comment

Progetto “Monnezza”

Alcune chiarificazioni sul progetto di Algoritmi e Strutture Dati denominato “Monnezza”. Se si abbandonano rifiuti in una discarica, eccedendo la sua capacit√†, l’eccedenza deve essere posta a destra della discarica, … Continue reading

April 11, 2011 · Leave a comment

Italian keyboards and Emacs

When typing on an Italian keyboard, composing LaTeX documents, it is always a pain since a couple of fundamental characters are lacking: tilde and backtick. There are useless characters like … Continue reading

April 5, 2011 · 1 Comment

Monomorphisms as limits

Sometimes it is useful to think to monomorphisms as limits of a category. Let be a monomorhism, i.e., for every pair of arrows , if , then . This is … Continue reading

April 4, 2011 · Leave a comment

Old website

As announced, I dismissed my old website. Its URL is still valid, and it redirects here.

April 4, 2011 · Leave a comment

An exact formula for satisfiability

Let be an instance of SAT. As in a previous post, let denote the i-th clause. Moreover, let . We know that . Evidently, is the set of assignments falsifying … Continue reading

April 1, 2011 · 1 Comment

A quick satisfiability check

As it is well-known, Boolean Satisfiability, SAT for short, is NP-complete. Suppose is a formula where is a literal, i.e., the variable , or , or (when the variable does … Continue reading

April 1, 2011 · 1 Comment

Order (and small disorder)

In most textbooks, one finds that a category represents a preorder exactly when there is at most one arrow between any pair of objects. But, surprisingly, the same is told … Continue reading

March 29, 2011 · Leave a comment

New home site

Although I’ll keep my old home page, I’ll not maintain it anymore. Sooner or later, I’ll get rid of that page by redirecting the traffic here. Stay tuned!

March 21, 2011 · 1 Comment