Unsere Gruppe hat auch Überlegungen zu strukturierten Einbettungen angestellt, welche Ähnlichkeiten zwischen verschiedenen Familien von Logiken ausnutzen. (Quelle: bmb+f Forschungslandkarte Deutschland 1998)
In unserer Gruppe werden mehrere ähnliche Ansätze für solche Einbettungen verfolgt. (Quelle: bmb+f Forschungslandkarte Deutschland 1998)
Eine kontextfreie Grammatik kann Zeichenketten der Form anbn (aber nicht anbncn) sowie Einbettungen der Art anbkcn (center embedding) erzeugen. (Quelle: Schneider: Lexikon Informatik)