Träfflista för sökning "WFRF:(Nonnengart Andreas) "

Sökning: WFRF:(Nonnengart Andreas)

Sortera/gruppera träfflistan

Sortering: Träffar per sida:

Numrering	Referens	Omslagsbild	Hitta
1.	Cunningham, R. J., et al. (författare) A Compositional Method for the Design and Proof of Asynchronous Processes 1987 Ingår i: Proceedings of the 4th Annual ESPRIT Conference (ESPRIT). - Amsterdam : North-Holland. - 0444703330 ; , s. 566-580 Konferensbidrag (refereegranskat)
2.	Nonnengart, Andreas, et al. (författare) A Fixpoint Approach to Second-Order Quantifier Elimination with Applications to Correspondence Theory 1998 Ingår i: Logic at work. - : Physica Verlag. - 3790811645 ; , s. 307-328 Bokkapitel (refereegranskat)
3.	Nonnengart, Andreas, et al. (författare) Elimination of Predicate Quantifiers 1999 Ingår i: Logic, Language and Reasoning. Essays in Honor of Dov Gabbay, Part I. - : Kluwer Academic Publishers. ; , s. 159-181 Konferensbidrag (refereegranskat)

Skapa referenser, mejla, bekava och länka

Författare/redaktör: Szalas, Andrzej (3); Nonnengart, Andreas (3); Cunningham, R. J. (1); Ohlbach, Hans-Jürgen (1)

År

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

Stäng

Kopiera och spara länken för att återkomma till aktuell vy