Sophie Brinke

データベースアプリケーションにおける半環セマンティクスとエーレンフェルト-フライセゲームの考察。