default search action
Journal of Automated Reasoning
- 2024: Volumes 68
- 2023: Volumes 67
- 2022: Volumes 66
- 2021: Volumes 65
- 2020: Volumes 64
- 2019: Volumes 62, 63
- 2018: Volumes 60, 61
- 2017: Volumes 58, 59
- 2016: Volumes 56, 57
- 2015: Volumes 54, 55
- 2014: Volumes 52, 53
- 2013: Volumes 50, 51
- 2012: Volumes 48, 49
- 2011: Volumes 46, 47
- 2010: Volumes 44, 45
- 2009: Volumes 42, 43
- 2008: Volumes 40, 41
- 2007: Volumes 38, 39
- 2006: Volumes 36, 37
- 2005: Volumes 34, 35
- 2004: Volumes 32, 33
- 2003: Volumes 30, 31
- 2002: Volumes 28, 29
- 2001: Volumes 26, 27
- 2000: Volumes 24, 25
- 1999: Volumes 22, 23
- 1998: Volumes 20, 21
- 1997: Volumes 18, 19
- 1996: Volumes 16, 17
- 1995: Volumes 14, 15
- 1994: Volumes 12, 13
- 1993: Volumes 10, 11
- 1992: Volumes 8, 9
- 1991: Volume 7
- 1990: Volume 6
- 1989: Volume 5
- 1988: Volume 4
- 1987: Volume 3
- 1986: Volume 2
- 1985: Volume 1
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.