isotelesis's Top Recommendations

These recommendations were last updated 3 minutes ago.

	Collaborative Tagging and Semiotic Dynamics [My Copy] (4 May 2006) by Ciro Cattuto, Vittorio Loreto, Luciano Pietronero posted by 44 people ekrsulov thegoose meikipp tyfn wcrosbie matteodellamico Hoenikker Sulpicus scis0000001 ianturton krisl delsweil itst witherj kowatsch starchaser MoritzStefaner Bernd benhockenberry bangb dedalusjmmr eitelman Elycha JimFolk ungethym jryall-tags yuyuyu markymaypo Wikipedia CoP_CMS ETEC533 Web2 TaggingAndSemantics ARTFL CSU_School_of_Education Web2-0_Education sdw135 arasbm mocat azollers wartaalman KOKI0001 PatParslow vanesam
	The Structure of Collaborative Tagging Systems [My Copy] (18 Aug 2005) by Scott Golder, Bernardo A. Huberman posted by 330 people esbenab gena imrchen knowlengr wolejnr eustachediemert bundschu vellino aosbat lucybuykx pajoma borkurdotnet BergmanLab cisevol Lucavax nandipati jzm10nyc makrehchi xomic k12musicman andreacapocci szymek arjen ekrsulov Information Integration Architecture mxro zpinhead MariaChiaraP eLearning in Leicester AJCann thegoose AnthonySoprano kevinemamy alhoori sirdjsmith mrt2k9 ganden maplover spiritjoy wmdeneve christianholz ssw cgl janicewarner POPB jkstewart bluelena69 VGreiff cimbrone narroyo dullhunk eduardodiaz trisha karimlakhani draggin rabourn nettraq dmolla ericyu korakot jmankoff magnusenger A_Olympia rickl ansobol jomeyertons tyfn pdlug elsantosneto FG mcphee palakorn sabunome ecolab garyfeng xxc cc286 weimer nkorf takeha-e ChaTo pmounier alisonruth ldietz yishuai carolh12 sachac holidaynow wcrosbie libah jrsinclair jgodara jryall zelig ohkura cephas Jaykul Jenneke yish weelassie ctreude cyph3r scottmoody elainelally tolosoft davidleitner sids worksmarts kapil1312 luise darcyduke echi schade dartar meikipp technocrat ElFishski cveres robertodandi kaz24 claudioferreira tintos shilad beatty xrzhao ramonovelar ayanos jodi craigtalbert styliani entropy mbraly gphroh Sulpicus hopst901 wasp msn ianturton deynard fukken ak krisl ilya cavalo j_hsieh mettadata yanbe dk1357 lag omo rashford majak lanubile cristinaalp wrijneveld twetering shashikant PhilipEvans brusilovsky cronopio1979 fnarne myudelson pool avivagabriel itst rgb eduardocruz jrhode brunomelo dalooza vikx01 bug naufraghi KathrinJanke jstowe mzygmunt azygmunt mp4man astab GregorSuhr toben82 starchaser Tellima KYati searchy MoritzStefaner harryzou frankieta josepe timothee flavian_vasile simons mattlandau Bernd benhockenberry abetaha dpdearing mook3000 hqcspring mistermagister chirayu_kong bangb amarois pauldonner abonchen PaulBHartzog hanshee quinkell eitelman kaineci jenna ocool lnani anansi thorisalaptop GJNauta rastrol7 AlisonBabeu justaube laurobeltrao ricardoaraujo chiapet discopatrick telekas JimFolk ungethym menjo jima blamb jryall-tags JSicot yuyuyu mjchernyk cb9345 markymaypo RunningHorse PatParslow shirleyearley gconaldi cmschweda MarkLaurent CMU-HCII Philosophy_of_Information Blog_and_Wiki_Research Drexel-HCI ReadingLab CSCW Drexel-eVoting CHISEL Librarians Semantic-Social-Networks GroupLens Wikipedia utoronto-iml OpenArchive CoP_CMS mathgamespatterns semantic-multicast-routing folksonomy Sciences_communication_societe ETEC533 dtl vds-arg SFX-Verde-team-MITLibraries STS OpenVanilla AI eni SITCRC CDG WatzekLibrary social_navigation Web2 ComplexAdaptiveSystems EnvironmentalStudies localization ilyajune FAL Footprints RiSE nlab pileWorks kickOffTUG-Robocup SocialMedia EdTech FacDev TeachOnline AGH-IISG Adaptive-Web TaggingAndSemantics MeAggregator ARTFL oktave-labs Foresight CSU_School_of_Education Web2-0_Education Library 2.0 Procyon alkal markasoper abellogin Skinner lxh468 choisyster ffloeck callatax kenneth1ny arasbm Social Web bluecricket Deathweaver cherhan acslab ACS Mohan-S Tonsertorben gionis donade janetyc wangyiding paulovn azollers michellutz betaparticle fryanpan teddyyo randomname uhland KOKI0001 vanesam
	Fundamentals of Algebraic Specification 1: Equations and Initial Semantics [My Copy] by Hartmut Ehrig, Bernd Mahr posted by 3 people mishra_satish Formal methods for safety critical software DavidChemouil
	Mathematics: Form and Function [My Copy] (19 December 1985) by Saunders M. Lane posted by 1 person DavidChemouil
	Calculus in coinductive form D. Pavlovi'c M.H. Escard'o [My Copy] posted by 1 person DavidChemouil
	Revisiting the Categorical Approach to Systems * [My Copy] by Antónia Lopes, José L. Fiadeiro posted by 3 people leemond31 Formal methods for safety critical software DavidChemouil
	Algebraic Foundations of Systems Specification (Ifip State-of-the-Art Reports) [My Copy] posted by 2 people mishra_satish DavidChemouil
	CASL Reference Manual: The Complete Documentation Of The Common Algebraic Specification Language [My Copy] (19 March 2004) posted by 2 people mishra_satish DavidChemouil
	Casl User Manual: Introduction to Using the Common Algebraic Specification Language Casl [My Copy] (29 January 2004) by M. Bidoit, Peter D. Mosses, Michel Bidoit posted by 2 people mishra_satish DavidChemouil
	Cause commune : L'information entre bien commun et propriété [My Copy] (02 February 2005) by Philippe Aigrain posted by 1 person DavidChemouil
	Introduction à la logique : Théorie de la démonstration - Cours et exercices corrigés [My Copy] (15 January 2004) by Karim Nour, René David, Christophe Raffalli posted by 1 person DavidChemouil
	Logique mathématique, tome 1 : Calcul propositionnel - Cours et exercices [My Copy] (15 January 2003) by René Cori, Daniel Lascar posted by 1 person DavidChemouil
	Logique mathématique, tome 2 : Fonctions récursives, théorème de Gödel, théorie des ensembles [My Copy] (15 January 2003) by René Cori, Daniel Lascar posted by 1 person DavidChemouil
	Le point aveugle : Cours de logique Tome 2, Vers l'imperfection [My Copy] (17 March 2007) by Jean-Yves Girard posted by 1 person DavidChemouil
	Le Point Aveugle: Tome 1. Cours de Logique, Vers la perfection. [My Copy] (01 July 2006) by Jean-Yves Girard posted by 1 person DavidChemouil
	Les Métamorphoses du calcul : Une étonnante histoire des mathématiques [My Copy] (30 March 2007) by Gilles Dowek posted by 1 person DavidChemouil
	Logique, réduction, résolution [My Copy] (01 July 1990) by René Lalement posted by 1 person DavidChemouil
	Requirements Engineering: From System Goals to UML Models to Software Specifications [My Copy] (03 March 2009) by Axel van Lamsweerde posted by 5 people mishra_satish asilva leonardo PreciousJ DavidChemouil
	A framework for comparing models of computation [My Copy] Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on In Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, Vol. 17, No. 12. (1998), pp. 1217-1229. by E. A. Lee, A. Sangiovanni-Vincentelli posted by 2 people fierykylin DavidChemouil
	Software Architecture: Foundations, Theory, and Practice [My Copy] (15 January 2009) by R. N. Taylor, Nenad Medvidovi, Irvine E. Dashofy posted by 9 people laurobeltrao leonardo lostcoder charoy Software-Architecture germoglio buchgeher tproenca DavidChemouil
	Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems (CRM Monograph) [My Copy] (08 April 2004) by Gethin Norman, David Parker posted by 1 person DavidChemouil
	Real World Haskell [My Copy] (01 December 2008) by Bryan O'Sullivan, John Goerzen, Don Stewart posted by 6 people puzza serebryakov dsquared MartinSchuerrer incognito DavidChemouil
	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, ... Lectures (Lecture Notes in Computer Science) [My Copy] (28 May 2002) by Roland Backhouse, Roy Crole, Jeremy Gibbons posted by 2 people DavidChemouil Scis0000002
	Du bon usage de la piraterie : Culture libre, sciences ouvertes [My Copy] (28 February 2007) by Florent Latrive posted by 5 people NathalieCornee amarois DavidChemouil annedemoulin P2PImages
	Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics) [My Copy] (25 March 1988) by J. Lambek, P. J. Scott posted by 3 people Benja DavidChemouil Constructivity
	A classification and comparison framework for software architecture description languages [My Copy] Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 26, No. 1. (2000), pp. 70-93. by N. Medvidovic, R. N. Taylor posted by 3 people DavidChemouil germoglio Software-Architecture
	Software Abstractions: Logic, Language, and Analysis [My Copy] (07 April 2006) by Daniel Jackson posted by 7 people zhensong leemond31 DavidChemouil keigoi jleny leonardo dyoo
	Proofs and Types (Cambridge Tracts in Theoretical Computer Science) [My Copy] (28 April 1989) by Jean-Yves Girard, Yves Lafont, Paul Taylor posted by 2 people DavidChemouil eporreca
	Topoi, the Categorial Analysis of Logic (Studies in Logic and the Foundations of Mathematics) [My Copy] by Robert Goldblatt posted by 4 people seno DavidChemouil kaqui Scis0000002
	Abstract Behavior Types: a foundation model for components and their composition [My Copy] Science of Computer Programming In Formal Methods for Components and Objects: Pragmatic aspects and applications, Vol. 55, No. 1-3. (March 2005), pp. 3-52. by Farhad Arbab posted by 4 people DavidChemouil keigoi janschaefer TU-KL-SoftwareTechnologyGroup
	The Lambda Calculus (Studies in Logic and the Foundations of Mathematics) [My Copy] (01 October 1984) by H. P. Barendregt posted by 6 people DavidChemouil kowey bunge Benja robotact d23
	Algebra (AMS Chelsea Publishing) [My Copy] (10 June 1999) by Saunders M. Lane, Garret Birkhoff posted by 5 people robotact mmp DavidChemouil ccdantas hhalvors
	Categories for Software Engineering [My Copy] (16 May 2004) by José L. Fiadeiro, Jost L. Fiadeiro posted by 5 people DavidChemouil mahler bonotake mstone Rightscom
	Categorical Logic and Type Theory [My Copy] (01 December 1998) by B. Jacobs posted by 5 people DavidChemouil mahler msakai bonotake Rightscom
	Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Universitext) [My Copy] (27 October 1994) by Saunders MacLane, Ieke Moerdijk posted by 8 people noam_zeilberger NitinCR christiankissig DavidChemouil mahler hhalvors Rightscom mmarcus
	A Classification and Comparison Framework for Software Architecture Description Languages [My Copy] IEEE Trans. Softw. Eng. In Software Engineering, IEEE Transactions on, Vol. 26, No. 1. (January 2000), pp. 70-93. by Nenad Medvidovic, Richard N. Taylor posted by 12 people tproenca argo Trent DavidChemouil marcinzalewski ingstrup lfk leonardo marcia janschaefer TU-KL-SoftwareTechnologyGroup buchgeher
	Theory of Modeling and Simulation, Second Edition [My Copy] (24 January 2000) by Bernard P. Zeigler, Herbert Praehofer, Tag G. Kim posted by 12 people winko pverstra DavidChemouil cedricboidin harald carmaus dagmar mingguo dIEMoSIRIS SIG compneur lop
	Free Software, Free Society: Selected Essays of Richard M. Stallman [My Copy] (01 June 2002) by Richard M. Stallman, Joshua Gay posted by 10 people hgfernan DavidChemouil qaramazov scholz schock hellp Sociology MASSS jabbo dullhunk
	$My PDF martins_06_fractal.pdf$ Fractal properties and small-scale structure of cosmic string networks [My Copy] Phys. Rev. D, Vol. 73, No. 4. (February 2006), 043515. by C. J. Martins, E. P. Shellard posted by 4 people Continuum jrw scis0000001 Scis0000002
	Ordering Dynamics of Topological Defect Networks [My Copy] ArXiv High Energy Physics - Phenomenology e-prints (December 1997) by M. Hindmarsh posted by 2 people scis0000001 Scis0000002
	Falaco Solitons, Cosmic Strings in a Swimming Pool [My Copy] ArXiv General Relativity and Quantum Cosmology e-prints (January 2001) by R. M. Kiehn posted by 1 person scis0000001
	Noncommutative geometry, topology, and the standard model vacuum [My Copy] Journal of Mathematical Physics, Vol. 47, No. 11. (2006) by Dawe R. A. Martins posted by 1 person scis0000001
	Art Imitates Life: Programming by Example as an Imitation Game [My Copy] by Henry Lieberman posted by 1 person scis0000001
	Validating the unit correctness of spreadsheet programs [My Copy] (2004) by T. Antoniu, P. Steckler, S. Krishnamurthi, E. Neuwirth, M. Felleisen posted by 1 person scis0000001
	End-user software engineering [My Copy] (2004) by M. Burnett, C. Cook, G. Rothermel posted by 1 person scis0000001
	Inductive Program Synthesis for Therapy Plan Generation [My Copy] New Generation Computing, Vol. 15, No. 1. (1997), pp. 27-58. by O. Arnold, K. P. Jantke posted by 1 person scis0000001
	Deliverables: A categorical approach to program development in type theory [My Copy] In Proceedings of Mathematical Foundation of Computer Science (1993) by James Mckinna, Rod Burstall posted by 1 person scis0000001
	Constructive category theory [My Copy] (1998) by G. Huet, A. Ibi posted by 1 person scis0000001
	On a Mathematical Comparison between Hierarchy and Network with a Classification of Coordination Structures [My Copy] Comput. Math. Organ. Theory, Vol. 7, No. 4. (December 2001), pp. 311-330. by Kazunari Ishida, Toshizumi Ohta posted by 3 people pverstra scis0000001 macc
	Static semantic analysis and theorem proving for CASL [My Copy] In Workshop on Algebraic Development Techniques (1997), pp. 333-348. by Till Mossakowski, Kolyang, Bernd K. Bruckner posted by 1 person scis0000001
	The Nuprl Open Logical Environment [My Copy] In CADE-17: Proceedings of the 17th International Conference on Automated Deduction (2000), pp. 170-176. by Stuart F. Allen, Robert L. Constable, Rich Eaton, Christoph Kreitz, Lori Lorigo posted by 1 person scis0000001
	Theories, Implementations, and Transformations [My Copy] ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002. Proceedings (2002), pp. 131-138. by Eric Hehner, Ioannis T. Kassios posted by 2 people Scis0000002 scis0000001
	Bounded Model Property for Multi-Context Sytems [My Copy] by F. Roelofsen posted by 1 person scis0000001
	Illustrating the Michelson-Morley experiment [My Copy] ArXiv Physics e-prints (October 2005) by B. Rothenstein, S. Popescu, G. J. Spix posted by 1 person scis0000001
	The Michelson-Morley experiment and the cosmic velocity of the Earth [My Copy] ArXiv Physics e-prints (November 2003) by M. Consoli, E. Costanzo posted by 1 person scis0000001
	Formal Design Environments [My Copy] In International Conference on Theorem Proving in Higher Order Logics (TPHOLs) (2002) by B. Aydemir, A. Granicz, J. Hickey posted by 1 person scis0000001
	Proof by Pointing [My Copy] In TACS '94: Proceedings of the International Conference on Theoretical Aspects of Computer Software (1994), pp. 141-160. by Yves Bertot, Gilles Kahn, Laurent Th&\#233;ry posted by 2 people scis0000001 cappetschulat
	Formalizing a Hierarchical Structure of Practical Mathematical Reasoning [My Copy] J Logic Computation, Vol. 3, No. 1. (1 February 1993), pp. 47-61. by Peter J. Robinson, John Staples posted by 1 person scis0000001
	Heterogeneous Development Graphs and Heterogeneous Borrowing [My Copy] In Foundations of Software Science and Computation Structure (2002), pp. 326-341. by Till Mossakowski posted by 2 people network01 scis0000001
	Perspective Switching Using Theories and Interpretations [My Copy] by William M. Farmer posted by 2 people scis0000001 Scis0000002
	Little Theories [My Copy] In Conference on Automated Deduction (1992), pp. 567-581. by William M. Farmer, Joshua D. Guttman, Javier F. Thayer posted by 5 people A_Olympia scis0000001 Scis0000002 Philosophy_of_Information Blog_and_Wiki_Research
	Introduction to Branes and M-Theory for Relativists and Cosmologists [My Copy] Progress of Theoretical Physics Supplement, Vol. 148 (2002), pp. 1-28. by N. Ohta posted by 1 person scis0000001
	String Theory Dynamics In Various Dimensions [My Copy] Nuclear Physics B, Vol. 443 (24 Mar 1995), pp. 85-126. by Edward Witten posted by 3 people NitinCR scis0000001 azurewelkin
	Unity of Superstring Dualities [My Copy] Nuclear Physics B, Vol. 438 (13 Jan 1995), pp. 109-137. by C. M. Hull, P. K. Townsend posted by 2 people NitinCR scis0000001
	Eleven-dimensional origin of string/string duality: a one-loop test [My Copy] Nuclear Physics B, Vol. 452 (February 1995), pp. 261-282. by M. J. Duff, J. T. Liu, R. Minasian posted by 1 person scis0000001
	Regular representations and Huang-Lepowsky's tensor functors for vertex operator algebras [My Copy] ArXiv Mathematics e-prints (March 2001) by H. Li posted by 1 person scis0000001
	A mathematical toolbox for the software architect [My Copy] Software Specification and Design, 1996., Proceedings of the 8th International Workshop on (1996), pp. 46-55. by J. L. Fiadeiro, T. Maibaum posted by 1 person scis0000001
	Modelling Cooperative Behaviour for Resource Access [My Copy] In Working Notes of 3rd ModelAge Workshop: Formal Models of Agents (1996) by Frances Brazier, Jan Treur, Pascal van Eck edited by Pierre Y. Schobbens posted by 2 people patveck scis0000001
	Modelling Distributed Industrial Processes in a Multi-Agent Framework [My Copy] In Cooperative Knowledge Processing (1996), pp. 212-229. by F. M. T. Brazier, Dunin B. Keplicz, N. R. Jennings, J. Treur edited by S. Kirn, G. M. P. O'Hare posted by 1 person scis0000001
	Specification of Behavioural Requirements within Compositional Multi-agent System Design [My Copy] In Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World : Multi-Agent System Engineering (MAAMAW-99), Vol. 1647 (~March0--~February 1999), pp. 8-27. by Daniela E. Herlea, Catholijn M. Jonker, Jan Treur, Niek J. E. Wijngaards edited by Francisco J. Garijo, Magnus Boman posted by 2 people scis0000001 Scis0000002
	A New Approach for Specification and Verification of Distributed Agents [My Copy] by Andrew M. Mironov, Virendra C. Bhavsar posted by 1 person scis0000001
	A LATTICE-STRUCTURED PROOF TECHNIQUE APPLIED TO A MINIMUM SPANNING TREE ALGORITHM [My Copy] No. MIT/LCS/TM-361. (1988) by J. L. Welch, L. Lamport, N. Lynch posted by 1 person scis0000001
	Transformers for symbolic computation and formal deduction [My Copy] (2000) by W. Farmer, M. Mohrenschildt posted by 1 person scis0000001
	Novel Gravity Probe B Frame-Dragging Effect [My Copy] ArXiv Physics e-prints (June 2004) by R. T. Cahill posted by 1 person scis0000001
	What is quantum mechanics trying to tell us? [My Copy] American Journal of Physics, Vol. 66 (September 1998), pp. 753-767. by N. D. Mermin posted by 2 people pqnelson scis0000001
	Conventions in relativity theory and quantum mechanics [My Copy] ArXiv Quantum Physics e-prints (October 2001) by K. Svozil posted by 1 person scis0000001
	A New Light-Speed Anisotropy Experiment: Absolute Motion and Gravitational Waves Detected [My Copy] ArXiv Physics e-prints (October 2006) by Cahill posted by 1 person scis0000001
	Lattice Basis and Entropy [My Copy] ArXiv Mathematics e-prints (November 2006) by V. K. P. B, Babu K. Joseph posted by 2 people ansobol scis0000001
	Mechanizing a theory of program composition for UNITY [My Copy] ACM Trans. Program. Lang. Syst., Vol. 23, No. 5. (September 2001), pp. 626-656. by Lawrence C. Paulson posted by 1 person scis0000001
	Phobos: A Front-End Approach to Extensible Compilers [My Copy] In HICSS '03: Proceedings of the 36th Annual Hawaii International Conference on System Sciences (HICSS'03) - Track 9 (2003) by Adam Granicz, Jason Hickey posted by 1 person scis0000001
	Cells as Computation [My Copy] Computational Methods in Systems Biology: First International Workshop, CMSB 2003, Rovereto, Italy, February 24-26, 2003. Proceedings (2003), pp. 1-3. by Amitai Regev, Ehud Shapiro posted by 2 people Scis0000002 scis0000001
	Distance in Anti-Matroids [My Copy] (1997) by J. Pfaltz, J. Karro, S. Mcculloch posted by 1 person scis0000001
	Transformations of Antimatroid Closure Spaces [My Copy] No. CS-98-13. (FebruaryMarch, 1998) by John L. Pfaltz, John E. Karro posted by 1 person scis0000001
	Order-theoretic characterization of Hilbert-Schmidt operators [My Copy] Archiv der Mathematik, Vol. 24, No. 1. (1 December 1973), pp. 67-70. by Ulf Schlotterbeck posted by 1 person scis0000001
	$My PDF h&\#246;hle_91_monoidal.pdf$ Monoidal closed categories, weak topoi and generalized logics [My Copy] Fuzzy Sets Syst., Vol. 42, No. 1. (July 1991), pp. 15-35. by Ulrich H&\#246;hle posted by 1 person scis0000001
	$My PDF oliv&\#233;_83_information.pdf$ Information derivability analysis in logical information systems [My Copy] Commun. ACM, Vol. 26, No. 11. (November 1983), pp. 933-938. by Antoni Oliv&\#233; posted by 1 person scis0000001
	Online Closure-Based Learning of Relational Theories [My Copy] Inductive Logic Programming (2005), pp. 172-189. by Frédéric Koriche posted by 2 people scis0000001 Scis0000002
	Verbalization of High-Level Formal Proofs [My Copy] In AAAI/{IAAI} (1999), pp. 277-284. by Amanda, Regina Barzilay, Robert L. Constable posted by 1 person scis0000001
	Similarities and Reuse of Proofs in Formal Software Verification [My Copy] Lecture Notes in Computer Science, Vol. 1488 (1998) by Erica Melis, Axel Schairer posted by 1 person scis0000001
	From Standard to Non-Standard Semantics by Semantics Modifiers [My Copy] International Journal of Foundations of Computer Science (IJFCS), Vol. 12, No. 2. (2001), pp. 171-211 (or 171--212??). by Sergei Abramov, Robert Glück, M. Sato, Others posted by 1 person scis0000001
	Occam's razor in metacomputation: the notion of a perfect process tree [My Copy] (1993) by R. Gl, Klimov posted by 1 person scis0000001
	Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC [My Copy] by Morten H. Sørensen, Robert Glück, Neil D. Jones posted by 1 person scis0000001
	On Perfect Supercompilation [My Copy] In Proceedings of Perspectives of System Informatics, Vol. 1755 (2000), pp. 113-127. by Jens P. Secher, Morten edited by D. Bjorner, M. Broy, A. Zamulin posted by 1 person scis0000001
	The British Nationality Act as a logic program [My Copy] Commun. ACM, Vol. 29, No. 5. (May 1986), pp. 370-386. by M. J. Sergot, F. Sadri, R. A. Kowalski, F. Kriwaczek, P. Hammond, H. T. Cory posted by 1 person scis0000001
	Unitarity and functoriality [My Copy] Geometric And Functional Analysis, Vol. 5, No. 2. (1 March 1995), pp. 164-173. by J. W. Cogdell, I. I. Piatetski-Shapiro posted by 1 person scis0000001
	A note on Closure Operators in Category of Modules [My Copy] ArXiv Mathematics e-prints (March 2003) by V. V. S. Gautam posted by 2 people scis0000001 Scis0000002
	Diagrams for Meaning Preservation [My Copy] by Wells D. Plump posted by 1 person scis0000001
	MathLang: experience-driven development of a new mathematical language [My Copy] by F. Kamareddine, M. Maarek, J. Wells posted by 1 person scis0000001
	The realizability approach to computable analysis and topology [My Copy] (2000) by Andrej Bauer posted by 1 person scis0000001
	Three Varieties of Mathematical Structuralism [My Copy] Philosophia Mathematica, Vol. 9, No. 2. (1 June 2001), pp. 184-211. by Geoffrey Hellman posted by 1 person scis0000001