Jump to main content

yr 〜
yr

Search results 3

Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures
Digital電子書籍・電子雑誌図書
2019
Available onlineNational Diet Library
  • Author HeadingBojaÅ„czyk Simpson, Alex

Foundations of software science and computation structures : 22nd International Conference, FOSSACS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings

Foundations of software science and computation structures : 22nd International Conference, FOSSACS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings
Paper図書
Mikołaj Bojańczyk, Alex Simpson (eds.)Springerc2019
Other Libraries in Japan
  • Author HeadingFOSSACS Bojańczyk, Mikołaj Simpson, Alex European Conferences on Theor...

The proof theory and semantics of intuitionistic modal logic

The proof theory and semantics of intuitionistic modal logic
Paper図書
Alex K. SimpsonUniversity of Edinburgh, Department of Computer Science1994
Other Libraries in Japan
  • Author HeadingSimpson, Alex K.

Reached to the end of result.

RSS