Results of search for 'ccl=au:"SpringerLink (Online service)" and su-to:Theory of Computation and su-to:Mathematical Logic and Formal Languages' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	21.	Logical Foundations of Computer Science [electronic resource] : 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings / by Adian, Sergei [editor.] Nerode, Anil [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1234 Edition: 1st ed. 1997. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	22.	Hyperedge Replacement: Grammars and Languages [electronic resource] / by Habel, Annegret [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 643 Edition: 1st ed. 1992. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	23.	Typed Lambda Calculi and Applications [electronic resource] : 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings / by Girard, Jean-Yves [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1581 Edition: 1st ed. 1999. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	24.	DNA Computing [electronic resource] : 7th International Workshop on DNA-Based Computers, DNA7, Tampa, FL, USA, June 10-13, 2001, Revised Papers / by Jonoska, Natasa [editor.] Seeman, Nadriaan C [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2340 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	25.	Automata Implementation [electronic resource] : Third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998, Revised Papers / by Champarnaud, Jean-Marc [editor.] Maurel, Denis [editor.] Ziadi, Djelloul [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1660 Edition: 1st ed. 1999. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	26.	Higher Order Logic Theorem Proving and Its Applications [electronic resource] : 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings / by Melham, Thomas F [editor.] Camilleri, Juanito [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 859 Edition: 1st ed. 1994. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	27.	Logic and Computational Complexity [electronic resource] : International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994. Selected Papers / by Leivant, Daniel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 960 Edition: 1st ed. 1995. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	28.	Typed Lambda Calculi and Applications [electronic resource] : International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands. Proceedings / by Bezem, Marc [editor.] Groote, Jan F [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 664 Edition: 1st ed. 1993. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	29.	Automata Implementation [electronic resource] : First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996, Revised Papers / by Raymond, Darrell [editor.] Wood, Derick [editor.] Yu, Sheng [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1260 Edition: 1st ed. 1997. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	30.	Higher-Order Algebra, Logic, and Term Rewriting [electronic resource] : Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers / by Dowek, Gilles [editor.] Heering, Jan [editor.] Meinke, Karl [editor.] Möller, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1074 Edition: 1st ed. 1996. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	31.	Computer Science Logic [electronic resource] : 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September / by Bradfield, Julian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2471 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 Other title: 22-25, 2002, Proceedings In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	32.	Computer Science Logic [electronic resource] : 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers / by Börger, Egon [editor.] Jäger, Gerhard [editor.] Kleine Büning, Hans [editor.] Martini, Simone [editor.] Richter, Michael M [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 702 Edition: 1st ed. 1993. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	33.	Meta-Programming in Logic [electronic resource] : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings / by Pettorossi, Alberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 649 Edition: 1st ed. 1992. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	34.	Membrane Computing [electronic resource] : International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, Revised Papers / by Martín-Vide, Carlos [editor.] Mauri, Giancarlo [editor.] Paun, Gheorghe [editor.] Rozenberg, Grzegorz [editor.] Salomaa, Arto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2933 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	35.	Formal Techniques in Real-Time and Fault-Tolerant Systems [electronic resource] : Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings / by Vytopil, Jan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 571 Edition: 1st ed. 1991. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	36.	Computer-Aided Verification [electronic resource] : 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings / by Clarke, Edmund M [editor.] Kurshan, Robert P [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 531 Edition: 1st ed. 1991. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	37.	Constraints in Computational Logics [electronic resource] : First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings / by Jouannaud, Jean-Pierre [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 845 Edition: 1st ed. 1994. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	38.	Typed Lambda Calculi and Applications [electronic resource] : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings / by Dezani-Ciancaglini, Mariangiola [editor.] Plotkin, Gordon [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 902 Edition: 1st ed. 1995. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	39.	A Resolution Principle for a Logic with Restricted Quantifiers [electronic resource] / by Bürckert, Hans-Jürgen [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 568 Edition: 1st ed. 1991. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	40.	Recent Trends in Algebraic Development Techniques [electronic resource] : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers / by Corradini, Andrea [editor.] Montanari, Ugo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5486 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 66 results.