Pages that link to "Item:Q163528"

The following pages link to Electronic Notes in Theoretical Computer Science (Q163528):

Displaying 50 items.

• Proceedings of the tenth workshop on coalgebraic methods in computer science (CMCS 2010) (Q453219) (← links)
• Proceedings of the 7th international workshop on numerical and symbolic abstract domains, NSAD 2017, New York City, NY, USA, August 29, 2017 (Q724791) (← links)
• Proceedings of the 7th international workshop on static analysis and systems biology (SASB 2016), University of Edinburgh, Scotland, UK, September 7, 2016 (Q724827) (← links)
• Proceedings of the 33rd conference on the mathematical foundations of programming semantics (MFPS XXXIII), Ljubljana, Slovenia, June 12--15, 2017 (Q724828) (← links)
• Proceedings of the 3rd workshop-school on theoretical computer science, Porto Alegre, Brazil, October 14--16, 2015 (Q727870) (← links)
• Proceedings of the 32nd conference on the mathematical foundations of programming semantics (MFPS XXXII), Carnegie Mellon University, Pittsburgh, PA, USA, May 23--26, 2016 (Q727871) (← links)
• Post-proceedings of the 6th international workshop on static analysis and systems biology (SASB 2015), Saint-Malo, France, September 8, 2015 (Q727872) (← links)
• Selected papers of the 10th Latin American workshop on logic/languages, algorithms and new methods of reasoning (LANMR), Puebla, Mexico, August 15, 2016 (Q727873) (← links)
• Proceedings of the 10th workshop on logical and semantic frameworks, with applications (LSFA 2015), Natal, Brazil, August 31 -- September 1, 2015 (Q736681) (← links)
• BOTH 2001 -- Böhm's theorem: applications to computer science theory. Proceedings of one of the four satellite workshops of the 28th international colloquium on automata, languages and programming (ICALP 2001) held in Crete, Greece, July 13, 2001 (Q877557) (← links)
• CCA 2002: computability and complexity in analysis. Papers from the 5th workshop, University of Málaga, Málaga, Spain, July 12--13, 2002 (Q877558) (← links)
• WoLLIC'2002. Proceedings of the 9th workshop on logic, language, information and computation, Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio), Rio de Janeiro, Brazil, July 30--August 2, 2002 (Q877559) (← links)
• Map theory and antifoundation (Q877560) (← links)
• FTP'2003: 4th international workshop on first-order theorem proving. Proceedings of the workshop (in connection with RDP'03, federated conference on rewriting, deduction and programming), Valencia, Spain, June 12--14, 2003 (Q877561) (← links)
• Proceedings of the fifth international workshop on implicit computational complexity, held in conjunction with LICS in Ottawa, ON, Canada, June 26--27, 2003 (Q878014) (← links)
• Proceedings of the workshop on mathematics, logic and computation (satellite event of ICALP 2003), Valencia, Spain, June 12--14, 2003 (Q878016) (← links)
• Proceedings of the 10th workshop on logic, language, information and computation (WoLLIC'2003), Ouro Preto, Minas Gerais, Brazil, July 29 -- August 1, 2003 (Q878017) (← links)
• Proceedings of the 11th workshop on logic, language, information and computation (WoLLIC 2004), Université Paris 12, Fontainebleau, France, July 19--22, 2004. (Q878018) (← links)
• Proceedings of the 6th workshop on computability and complexity in analysis (CCA 2004), Lutherstadt Wittenberg, Germany, August 16--20, 2004 (Q878019) (← links)
• Proceedings of the first international workshop on Euler diagrams (Euler 2004), University of Brighton, Brighton, UK, September 22--23, 2004 (Q878020) (← links)
• Proceedings of the 12th workshop on logic, language, information and computation (WoLLIC 2005), Florianópolis, Brazil, July 19--22, 2005. (Q878021) (← links)
• Proceedings of the 9th workshop on logical and semantic frameworks, with applications (LSFA 2014), Brasilia, Brazil, September 8--9, 2014 (Q896264) (← links)
• Proceedings of the 3rd international workshop on static analysis and systems biology (SASB 2012), Deauville, France, September 10, 2012 (Q896438) (← links)
• Selected papers based on the presentations at the 9th Latin American workshop on logic/languages, algorithms and new methods of reasoning (LANMR), Valle de Bravo, Mexico, November 5--7, 2014 (Q896439) (← links)
• Post-proceedings of the 5th international workshop on static analysis and systems biology (SASB 2014), Munich, Germany, September 10, 2014 (Q896456) (← links)
• Selected papers based on the presentations at the 7th and 8th international workshops on numerical software verification (NSV), Vienna, Austria, July 17--18, 2014 and April 13, 2015 (Q896457) (← links)
• Proceedings of the 19th conference on mathematical foundations of programming semantics (MFPS XIX), Montreal, Canada, March 19--22, 2003 (Q898308) (← links)
• Proceedings of the fourth international conference on computability and complexity in analysis (CCA 2007), Siena, Italy, June 16--18, 2007 (Q1011998) (← links)
• Topological dualities in semantics (Q1271111) (← links)
• Concrete monoids, automata and the Catalan construction (Q1271112) (← links)
• Verification of infinite state systems, Infinity '97. Selected papers from the 2nd international workshop, Bologna, Italy, July 11--12, 1997 (Q1273549) (← links)
• Mathematical foundations of programming semantics. Proceedings of the 11th conference (MFPS), Tulane Univ., New Orleans, LA, USA, March 29 - April 1, 1995 (Q1273550) (← links)
• Joint COMPUGRAPH/ SEMAGRAPH workshop on Graph rewriting and computation (SEGRAGRA '95). Selected papers from the workshop, Volterra, Italy, August 28 - September 1, 1995 (Q1273551) (← links)
• Verification of infinite state systems, Infinity '96. Selected papers from the 1st international workshop, Univ. of Pisa, Italy, August 30--31, 1996 (Q1273553) (← links)
• Rewriting logic and its applications. Proceedings of the 1st international workshop, Pacific Grove, CA, USA, September 3--6, 1996 (Q1273555) (← links)
• EXPRESS '97. Papers from the conference, Santa Margherita Ligure, Italy, September 8--12, 1997 (Q1273556) (← links)
• Mathematical foundations of programming semantics. Proceedings of the 13th annual conference, MFPS, Carnegie Mellon Univ., Pittsburgh, PA, USA, March 23--26, 1997 (Q1273557) (← links)
• Linear logic 96. Papers from the meeting, Keio Univ., Tokyo, Japan, March 28 - April 2, 1996 (Q1273558) (← links)
• Coalgebraic methods in computer science, CMCS '98. Proceedings of the 1st workshop, Lisbon, Portugal, March 28--29, 1998 (Q1273560) (← links)
• HOOTS II. 2nd workshop on Higher-order operational techniques in semantics. Stanford Univ., Palo Alto, CA, USA, December 8--12, 1997 (Q1273561) (← links)
• Comprox III. 3rd workshop on Computation and approximation. Birmingham, GB, September 11--13, 1997 (Q1273562) (← links)
• IThe 2nd international workshop on rewriting logic and its applications, RWLW.. Abbaye des Prèmontrès at Pont-á-Mousson, France, September 1998 (Q1273563) (← links)
• EXPRESS '98. 5th international workshop on Expressiveness in concurrency, Nice, France, September 7, 1998 (Q1273564) (← links)
• HLCL '98. 3rd international workshop on High-level concurrent languages. Nice, France, September 12, 1998 (Q1273565) (← links)
• Workshop on Proof search in type-theoretic languages (in conjunction with CADE-15 conference), Lindau, Germany, July 5, 1998 (Q1273566) (← links)
• US-Brazil joint workshops on The formal foundations of software systems, Rio de Janeiro, Brazil, May 5--9, 1997 and New Orleans, LA, USA, November 13--16, 1997 (Q1279538) (← links)
• COTIC '98, 2nd international workshop on Constraint programming for time critical applications and multiagent systems. Nice, France, September 7, 1998 (Q1279555) (← links)
• MFCS '98, workshop on concurrency. Brno, Czech Republic, August 27--29, 1998 (Q1279556) (← links)
• CMCS `99. Proceedings of the 2nd workshop on Coalgebraic methods in computer science. A satellite event to the European joint conferences on Theory and practice of software, ETAPS `99. Amsterdam, the Netherlands, March 20--21, 1999 (Q1294117) (← links)
• ENTCS. Research project (Q1294791) (← links)