Do you know what the official language of Ethiopia is? If you didn’t already know, it is a language called Amharic. This language is also known as Amhara, Abyssinian, Amarinya and Amarigna, according ...

Rewriting logic is a versatile and expressive framework that unifies the specification of concurrent systems with formal reasoning about their behaviour. It allows researchers and practitioners to ...

A new formalism for predicate logic is introduced, with a non-standard method of binding variables, which allows a compositional formalization of certain anaphoric constructions, including 'donkey ...