MetaPRL – A Modular Logical Environment
Lecture notes in computer science2003pp. 287–303
Citations Over TimeTop 10% of 2003 papers
Jason Hickey, Aleksey Nogin, Robert L. Constable, Brian Aydemir, Eli Barzilay, Yegor Bryukhov, Richard G. Eaton, Ádám Gránicz, Alexei Kopylov, Christoph Kreitz, Vladimir N. Krupski, Lori Lorigo, Stephan Schmitt, Carl Witty, Xin Yu
Related Papers
- → Licence Profile: Apache License, Version 2.0(2010)6 cited
- → How are Developers Treating License Inconsistency Issues? A Case Study on License Inconsistency Evolution in FOSS Projects(2017)4 cited
- → Finding the Correct Pesticide Applicator License in Florida(2021)1 cited
- On Administrative License Conditions(2007)
- On Several Questions of Administrative Licenese(2001)